Skip to content

Instantly share code, notes, and snippets.

@Mayur1496

Mayur1496/TestResult3

Created October 1, 2020 16:00
Show Gist options
  • Save Mayur1496/d5249d54e244dda6996aa04dc7a6cdbe to your computer and use it in GitHub Desktop.
Save Mayur1496/d5249d54e244dda6996aa04dc7a6cdbe to your computer and use it in GitHub Desktop.
Download ZIP
Raw
TestResult3
WARNING:root:You are using an untested version of z3. 4.5.1 is the officially tested version
WARNING:root:You are using evm version 1.8.16. The supported version is 1.7.3
WARNING:root:You are using solc version 0.5.5, The latest supported version is 0.4.19
INFO:root:contract ./contracts/3.sol:C:
INFO:symExec: ============ Results ===========
INFO:symExec: EVM Code Coverage: 98.9%
INFO:symExec: Integer Underflow: False
INFO:symExec: Integer Overflow: False
INFO:symExec: Parity Multisig Bug 2: False
INFO:symExec: Callstack Depth Attack Vulnerability: False
INFO:symExec: Transaction-Ordering Dependence (TOD): False
INFO:symExec: Timestamp Dependency: False
INFO:symExec: Re-Entrancy Vulnerability: False
INFO:symExec: ====== Analysis Completed ======
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment