Scribble
Scribble
Scribble
Scribble
Introduction
Tool
Installation
CLI Usage
Arm and disarm
Assertion Checking Modes
Instrumented Code
JSON output specification
Debugging Instrumented Code
Language
Introduction
Function Specifications
Contract Invariants
State Specifications
Expressions
Tutorials
Property Checking with Scribble and MythX
Property Checking with Scribble and Mythril
In-place testing with Scribble
Powered by GitBook

Installation

How to install Scribble

Install using NPM

Make sure that you're using the right version of node.js, between 10.0.0 and 12.0.0. To install, run the following command:

npm install -g eth-scribble

If you're seeing EACCESS errors on Linux/MacOS check out this post on stackoverflow.

Build from source

You can also install Scribble directly from the git repository:

git clone [email protected]:ConsenSys/scribble.git
cd scribble
npm install
npm link
Previous
Introduction
Next - Tool
CLI Usage
Last updated 1 month ago
Contents
Install using NPM
Build from source