projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 079df4d) | patch
Test signals with nonzero start offsets in aim files with smtbmc
authorJannis Harder <me@jix.one>
Thu, 24 Mar 2022 12:12:25 +0000 (13:12 +0100)
committerJannis Harder <me@jix.one>
Fri, 25 Mar 2022 14:18:45 +0000 (15:18 +0100)
commita434252ca130dc673eb58cc698f8a9e39a273c1b
tree88cb8106b431fe8a90cdc2df1f4980109815403ftree
parent079df4d95f6955b9f4dc0b48b8fd282b0c0983accommit | diff
Test signals with nonzero start offsets in aim files with smtbmc
tests/.gitignore diff | blob | history
tests/aim_vs_smt2_nonzero_start_offset.sby [new file with mode: 0644] blob