projects / nmutil.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32dbf7e) | patch
* moved the grev formal correctness assertions into the module
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 17 Dec 2021 21:52:14 +0000 (21:52 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 17 Dec 2021 21:52:14 +0000 (21:52 +0000)
commit5a3eb42f1d6541498d62715b892114e08a9fdfcf
treeac84c151093d2a488d4d96079f6a4c75745845d3tree
parent32dbf7ea5194f9f4593f72629fc9a28a8f9d5cc5commit | diff
* moved the grev formal correctness assertions into the module
  (under the protection of "if platform == formal")
* moved grev assert on internal variable (dut._steps) inside the
  unit test process() function so that it is after the elaborate()
  which is where ._steps gets created
  (this keeps Grev._steps a private variable for unit tests only)
* added TODO comment about the copyright notice at the top of test_grev.py
src/nmutil/grev.py diff | blob | history
src/nmutil/test/test_grev.py diff | blob | history