symbolic_execution/hardware/machines/btc_machine.py · 09a58ee1f73691a3d0b5e956debcb9225060fbfe · Blockchains / UTXO Chains / Symbolic Executor

Mar 02, 2023

vincent authored Mar 02, 2023

	* False is encoded over 0 byte. The operators were returning
	  a value encoded over 1 byte.

09a58ee1

vincent authored Mar 02, 2023

	* False is encoded over 0 byte. The operators were returning
	  a value encoded over 1 byte.