projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 330a134) | patch
Remove previous version of the CompUnit parallel unit test
authorCesar Strauss <cestrauss@gmail.com>
Thu, 31 Dec 2020 10:42:27 +0000 (10:42 +0000)
committerCesar Strauss <cestrauss@gmail.com>
Thu, 31 Dec 2020 10:42:27 +0000 (10:42 +0000)
commitfc531a8d2b914cdef3e1283954b6432f501d1667
tree2406a5ce822c1f4395a8e34062f52062fa6b8fddtree
parent330a1344245a047bb770056fc8cd24ba61eb3910commit | diff
Remove previous version of the CompUnit parallel unit test

It was too detailed, modeling properties which are better checked by
formal verification.

Other than that, the new version has reached feature parity, so the old
code can finally be removed.
src/soc/experiment/test/test_compalu_multi.py diff | blob | history