Fixes
* Typo in ram: the symbol for the size should follow the naming convention of the values. * OP_IFDUP: if the top item is False, keep it on the stack * If the script is malformed because of an OP_IF, raise an error. * OP_CHECKLOCKTIME/OP_CHECKSEQUENCE: The top item was dropped. * Fix for consecutive OP_ELSE
Showing
- symbolic_execution/hardware/memory/ram.py 1 addition, 1 deletionsymbolic_execution/hardware/memory/ram.py
- symbolic_execution/language/bitcoin/op_codes.py 3 additions, 3 deletionssymbolic_execution/language/bitcoin/op_codes.py
- symbolic_execution/language/bitcoin/parser.py 32 additions, 8 deletionssymbolic_execution/language/bitcoin/parser.py
- symbolic_execution/language/exceptions.py 7 additions, 0 deletionssymbolic_execution/language/exceptions.py
- tests/language/bitcoin/concrete/testing_scenarii.py 14 additions, 6 deletionstests/language/bitcoin/concrete/testing_scenarii.py
- tests/language/bitcoin/symbolic/testing_scenarii.py 50 additions, 10 deletionstests/language/bitcoin/symbolic/testing_scenarii.py
Loading
Please register or sign in to comment