projects / openpower-isa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c865b6c) | patch
rename proof_decoder*.py -> test_decoder*.py so it gets run by pytest
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 2 Sep 2022 06:06:56 +0000 (23:06 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 2 Sep 2022 06:06:56 +0000 (23:06 -0700)
commit8e046240f50d54cc997cf57bb28ae163cb9776d9
treeea574adce107dc90ea28bc79c583212fc0c089d0tree
parentc865b6c94dcf9a67b241306bf474b66a19ec6928commit | diff
rename proof_decoder*.py -> test_decoder*.py so it gets run by pytest
src/openpower/decoder/formal/proof_decoder.py [deleted file] blob | history
src/openpower/decoder/formal/proof_decoder2.py [deleted file] blob | history
src/openpower/decoder/formal/test_decoder.py [new file with mode: 0644] blob
src/openpower/decoder/formal/test_decoder2.py [new file with mode: 0644] blob