[BTC Language] Hash operators implementation bis
* Now the operators really compute the hash if a known value is passed to the operator. On the other hand, if a symbol is passed, a symbol is returned.
Showing
- symbolic_execution/hardware/machines/btc_machine.py 40 additions, 30 deletionssymbolic_execution/hardware/machines/btc_machine.py
- symbolic_execution/language/bitcoin/op_codes.py 12 additions, 25 deletionssymbolic_execution/language/bitcoin/op_codes.py
- tests/language/bitcoin/constants.py 0 additions, 2 deletionstests/language/bitcoin/constants.py
- tests/language/bitcoin/testing_scenarii.py 46 additions, 22 deletionstests/language/bitcoin/testing_scenarii.py
Loading
Please register or sign in to comment