Fix tests broken by df295b5
authorMichael Nolan <mtnolan2640@gmail.com>
Mon, 30 Mar 2020 17:03:59 +0000 (13:03 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Mon, 30 Mar 2020 17:03:59 +0000 (13:03 -0400)
commitff3ac82b1f6e9973e3a8152bc187b7ed70a5ff85
treefe06344e1ba359de8a6c69ef03e56da4f9758f5c
parentdc7a84e6be63e1a15cdde3f13fea4b9d58e2312d
Fix tests broken by df295b5
src/soc/decoder/formal/proof_decoder2.py
src/soc/decoder/power_decoder2.py
src/soc/decoder/test/test_decoder_gas.py