eth-scribble
Advanced tools
Comparing version 0.6.21 to 0.6.22
@@ -523,2 +523,10 @@ #!/usr/bin/env node | ||
} | ||
/** | ||
* Check if there is an instrumentation already in-place | ||
*/ | ||
for (const unit of units) { | ||
if (isInstrumented(unit.sourceEntryKey, instrumentationMarker)) { | ||
error(`File "${unit.sourceEntryKey}" is already instrumented`); | ||
} | ||
} | ||
const contentsMap = new Map(); | ||
@@ -632,10 +640,2 @@ // First load any macros if `--macro-path` was specified | ||
const instrCtx = new instrumentation_context_1.InstrumentationContext(factory, units, assertionMode, options["cov-assertions"], addAssert, callgraph, cha, filterOptions, (0, util_1.dedup)((0, util_1.flatten)(annotMap.values())), new Map(), contentsMap, compilerVersionUsed, debugEvents, outputMode, typeEnv, semMap, interposingQueue); | ||
/** | ||
* Check if there is an instrumentation already in-place | ||
*/ | ||
for (const unit of instrCtx.units) { | ||
if (isInstrumented(unit.sourceEntryKey, instrumentationMarker)) { | ||
error(`File "${unit.sourceEntryKey}" is already instrumented`); | ||
} | ||
} | ||
try { | ||
@@ -642,0 +642,0 @@ // Check that none of the map state vars to be overwritten is aliased |
{ | ||
"name": "eth-scribble", | ||
"version": "0.6.21", | ||
"version": "0.6.22", | ||
"description": "A Solidity runtime verification tool for property based testing", | ||
@@ -5,0 +5,0 @@ "keywords": [], |
Sorry, the diff of this file is not supported yet
1805283