BTC Language: Fixes
* Proxy to support multisig op. Always return False. * Bug fix for unreachable block when OP_RETURN and OP_VERIFY are used
Showing
- symbolic_execution/language/bitcoin/op_codes.py 3 additions, 5 deletionssymbolic_execution/language/bitcoin/op_codes.py
- symbolic_execution/language/bitcoin/parser.py 3 additions, 0 deletionssymbolic_execution/language/bitcoin/parser.py
- symbolic_execution/program/block/interfaces.py 7 additions, 0 deletionssymbolic_execution/program/block/interfaces.py
- tests/language/bitcoin/symbolic/testing_scenarii.py 3 additions, 3 deletionstests/language/bitcoin/symbolic/testing_scenarii.py
Loading
Please register or sign in to comment