projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6891fd7) | patch
Added test cases for sat command
authorClifford Wolf <clifford@clifford.at>
Tue, 4 Feb 2014 12:43:34 +0000 (13:43 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 4 Feb 2014 12:43:34 +0000 (13:43 +0100)
commit7a66b38c3e7e05e712144d63691f517ecca18d1d
treeb15747a95b464ab78101d0c46caed2daaff57a00tree
parent6891fd79a32d8b528978893e88dcb8b25bf66ef0commit | diff
Added test cases for sat command
Makefile diff | blob | history
tests/sat/.gitignore [new file with mode: 0644] blob
tests/sat/asserts.v [new file with mode: 0644] blob
tests/sat/asserts.ys [new file with mode: 0644] blob
tests/sat/asserts_seq.v [new file with mode: 0644] blob
tests/sat/asserts_seq.ys [new file with mode: 0644] blob
tests/sat/run-test.sh [new file with mode: 0755] blob