
test:
	@../test.pl -c ../../../src/cbmc/cbmc

testfuture:
	@../test.pl -c ../../../src/cbmc/cbmc -F
