Skip to content
Tests with Manticore
Python
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.
goest @ ba79148
.gitmodules
LICENSE
README.md
TOB-Computable-001.py
TOB-Computable-002.py
TOB-Computable-004.py
TOB-Computable-005.py
TOB-Computable-007.py
TOB-Computable-008.py
TOB-Computable-012.py
TOB-Computable-013.py
TOB-Computable-017.py
TOB-Computable-018.py
__init__.py
backend_init.py
constants.py
initialize_market.py
list.py
utils.py
vote.py

README.md

manticore-tests

This repo uses the manticore toolchain in order to run tests on the Computable core contracts. These tests are isolated from the core development and testing framework in the goest repo since Manticore uses an AGPL license. This repo is also licensed as an AGPL repo since AGPL doesn't have a linking exception.

The scripts in this repo validate various known attacks against the protocol. In each case, the script contains details about the attack. These scripts were initially developed by the Trail-of-Bits team as part of their audit efforts.

Installation

Install the latest release of Manticore.

Failing tests

A number of manticore scripts are failing right now. Scripts 5 and 7 might have had their underlying issues fixed so the failures should be genuine, but for the other states this isn't so.

  • 5: fails with manticore.exceptions.NoAliveStates (fixed)
  • 7: fails with manticore.exceptions.NoAliveStates (fixed)
  • 8: fails with manticore.exceptions.NoAliveStates
  • 12: fails with manticore.exceptions.NoAliveStates
  • 13: fails with manticore.exceptions.NoAliveStates
  • 17: fails with manticore.exceptions.NoAliveStates
You can’t perform that action at this time.