webasm-solidity icon indicating copy to clipboard operation
webasm-solidity copied to clipboard
verified publisher icon TrueBitFoundation

More tests

Open mrsmkl opened this issue 8 years ago • 1 comments

Need to test the following cases:

  • solver and verifier have different number of steps
  • solver and verifier disagree whether the state is final
  • solver and verifier disagree whether an runtime error has happened in the execution

mrsmkl avatar Sep 27 '17 08:09 mrsmkl

Did some more tests in #41

mrsmkl avatar Oct 26 '17 14:10 mrsmkl