projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a2849b) | patch
make assertFormal work with smtlib2 types other than Bool/BitVec
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 20 May 2022 08:54:18 +0000 (01:54 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 20 May 2022 08:54:18 +0000 (01:54 -0700)
commit203e6d65d39229694379d5d7c67a475bf6d6b491
tree1570afa8a9e56e4040247b0470ef19af5e9703c9tree
parent5a2849ba81d5ed341bf4d61d6bae1058b4ffa143commit | diff
make assertFormal work with smtlib2 types other than Bool/BitVec
tests/utils.py diff | blob | history