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