New Case Study:See how Anthropic automated 95% of dependency reviews with Socket.Learn More
Socket
Sign inDemoInstall
Socket

eth-scribble

Package Overview
Dependencies
Maintainers
1
Versions
54
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

eth-scribble - npm Package Compare versions

Comparing version 0.6.21 to 0.6.22

16

dist/bin/scribble.js

@@ -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

SocketSocket SOC 2 Logo

Product

  • Package Alerts
  • Integrations
  • Docs
  • Pricing
  • FAQ
  • Roadmap
  • Changelog

Packages

npm

Stay in touch

Get open source security insights delivered straight into your inbox.


  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc