projects / nmutil.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb2808f) | patch
rename proof_clz.py -> test_clz.py so it's run by pytest
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 10 May 2022 01:41:54 +0000 (18:41 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 10 May 2022 01:41:54 +0000 (18:41 -0700)
commit1ad8942d98f70aa237f2f2f86dbb0caa720ddf0c
tree4812b00ca8e53d0bc70b307f922eae666a8f6ebctree
parenteb2808fe4877c0c97f1379cd2053488f0911920acommit | diff
rename proof_clz.py -> test_clz.py so it's run by pytest
src/nmutil/formal/proof_clz.py [deleted file] blob | history
src/nmutil/formal/test_clz.py [new file with mode: 0644] blob