Skip to content
Staking app
Solidity JavaScript Shell
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
contracts
echidna Staking (#1) Apr 30, 2019
migrations Staking (#1) Apr 30, 2019
scripts
test
.gitattributes
.gitignore
.solcover.js Chore: Add travis (#14) May 2, 2019
.soliumignore
.soliumrc.json Staking (#1) Apr 30, 2019
.travis.yml
LICENSE
README.md
package.json
truffle.js Staking (#1) Apr 30, 2019

README.md

Staking App

Build Status

A Staking app with checkpointing (implementing ERC900 interface with history) and locking.

Testing

Truffle

Currently this app is using Truffle. You can run tests with npm test.

Slither

Install slither and then:

slither --solc /usr/local/bin/solc .

Some noise can be filtered with:

slither --solc /usr/local/bin/solc .  2>/tmp/a.txt ; grep -v "is not in mixedCase"  /tmp/a.txt | grep "Contract: Staking"

Echidna

Run ./scripts/flatten_echidna.sh and then:

docker run -v `pwd`:/src trailofbits/echidna echidna-test /src/flattened_contracts/EchidnaStaking.sol EchidnaStaking --config="/src/echidna/config.yaml"

Manticore

docker run --rm -ti -v `pwd`:/src trailofbits/manticore bash
ulimit -s unlimited
manticore --detect-all --contract Staking /src/flattened_contracts/Staking.sol

Coverage

You can measure coverage using Truffle by running npm run coverage.

You can’t perform that action at this time.