[BTC Language] Fix string interpretation
* Integers values are represented in little endian format. * Moreover, BTC does not use two's complement representation.
Showing
- symbolic_execution/hardware/machines/btc_machine.py 26 additions, 0 deletionssymbolic_execution/hardware/machines/btc_machine.py
- symbolic_execution/language/bitcoin/parser.py 4 additions, 4 deletionssymbolic_execution/language/bitcoin/parser.py
- symbolic_execution/program/instruction/stack_based.py 0 additions, 1 deletionsymbolic_execution/program/instruction/stack_based.py
- tests/language/bitcoin/testing_scenarii.py 17 additions, 9 deletionstests/language/bitcoin/testing_scenarii.py
Loading
Please register or sign in to comment