Skip to content

Commit d4ef0cb

Browse files
tautschnigtautschnig
committed
Use CBMC's test.pl consistently
1 parent 78fc96e commit d4ef0cb

File tree

3 files changed

+8
-167
lines changed

3 files changed

+8
-167
lines changed

‎regression/ebmc/test.pl

Lines changed: 0 additions & 163 deletions
This file was deleted.

‎regression/hw-cbmc/Makefile

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,12 @@
11
default: tests.log
22

3+
TEST_PL = ../../lib/cbmc/regression/test.pl
4+
35
test:
4-
@../test.pl -e -p -c ../../../src/hw-cbmc/hw-cbmc
6+
@$(TEST_PL) -e -p -c ../../../src/hw-cbmc/hw-cbmc
57

68
tests.log:
7-
@../test.pl -e -p -c ../../../src/hw-cbmc/hw-cbmc
9+
@$(TEST_PL) -e -p -c ../../../src/hw-cbmc/hw-cbmc
810

911
show:
1012
@for dir in *; do \

‎regression/vhdl/Makefile

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,12 @@
11
default: tests.log
22

3+
TEST_PL = ../../lib/cbmc/regression/test.pl
4+
35
test:
4-
@../test.pl -e -p -c ../../../src/ebmc/ebmc
6+
@$(TEST_PL) -e -p -c ../../../src/ebmc/ebmc
57

68
tests.log:
7-
@../test.pl -e -p -c ../../../src/ebmc/ebmc
9+
@$(TEST_PL) -e -p -c ../../../src/ebmc/ebmc
810

911
show:
1012
@for dir in *; do \

0 commit comments

Comments
 (0)