Added counters sat test case
authorClifford Wolf <clifford@clifford.at>
Thu, 6 Feb 2014 00:00:11 +0000 (01:00 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 6 Feb 2014 00:00:56 +0000 (01:00 +0100)
commit849fd62cfed9b6623865c7af76dd1bfbc6adf457
tree3b745d082500ef0a54e6c4b14bc18c9f82636fb2
parente915043144d52e2ff97e2b4638ed1af84426e359
Added counters sat test case
tests/sat/counters.v [new file with mode: 0644]
tests/sat/counters.ys [new file with mode: 0644]