projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d53479a) | patch
add test for $divfloor and $modfloor with write_smt2 divfloor-in-write_smt2-old-test
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 24 May 2022 08:35:37 +0000 (01:35 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 24 May 2022 08:35:37 +0000 (01:35 -0700)
commit8e5e9efbdb8a6043be5b3f79bfb7b2b08d828382
treed81365b8b4c198d3b291200c18b89288c960b7eetree
parentd53479a0d6e7c799e29c18cae47f96dfabee9d21commit | diff
add test for $divfloor and $modfloor with write_smt2
tests/various/floor_divmod.sh [new file with mode: 0755] blob
tests/various/floor_divmod.v [new file with mode: 0644] blob