replica
/
diffblue-hw-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

make test scripts work

This commit is contained in:
Daniel Kroening 2014-08-03 10:08:30 +00:00
parent 01ef99e80e
commit 143cec352b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
regression/hw-cbmc/Makefile
View File

@ -1,10 +1,10 @@
default: tests.log default: tests.log
test: test:
@../test.pl -c hw-cbmc @../test.pl -c ../../../src/hw-cbmc/hw-cbmc
tests.log: ../test.pl tests.log: ../test.pl
@../test.pl -c hw-cbmc @../test.pl -c ../../../src/hw-cbmc/hw-cbmc
show: show:
@for dir in *; do \ @for dir in *; do \

0
regression/test.pl Normal file → Executable file
View File