Scribble
  • Introduction
  • Scribble Generator
  • Tool
    • Installation
    • CLI Usage
      • Arm and disarm
    • Assertion Checking Modes
    • Instrumented Code
      • Debugging Instrumented Code
    • JSON output specification
    • FAQ
  • Language
    • Introduction
    • Annotations
      • Function Annotations
      • State Variable Annotations
      • Contract Invariants
      • Scribble Functions
      • Assert Annotations
      • Macros
      • Hints
    • Expressions
      • Quantification
  • Tutorials
    • Property Checking with Scribble and MythX
    • Property Checking with Scribble and Mythril
    • In-place testing with Scribble
Powered by GitBook
On this page
  • Install using NPM
  • Build from source

Was this helpful?

  1. Tool

Installation

How to install Scribble

PreviousScribble GeneratorNextCLI Usage

Last updated 3 years ago

Was this helpful?

Install using NPM

Make sure that you're using the right version of NodeJS. Scribble 0.6.4 and earlier work with NodeJS versions between 10.0.0 and 12.0.0. Scribble 0.6.5 and later work with NodeJS 16.0.x. To install, run the following command:

npm install -g eth-scribble

If you're seeing EACCESS errors on Linux/MacOS check out this 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
post