adding more tests smtlib2-expr-support
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 20 May 2022 08:55:20 +0000 (01:55 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 20 May 2022 08:55:20 +0000 (01:55 -0700)
commit994cab89693475c7b71645530c9f2a60013a8624
tree91277e07155a56b8231193074678748cd63e4d91
parent203e6d65d39229694379d5d7c67a475bf6d6b491
adding more tests
nmigen/hdl/smtlib2.py
tests/test_hdl_smtlib2.py