Project

General

Profile

Revision 4437ddbc

View differences:

test/Makefile
1 1
TOPFILES=../sandbox
2 2

  
3 3
test-compile:
4
	@bash ./test-compile.sh
4
	@bash ./test-compile.sh -a -v 2 tests_ok.list
5 5
	@rm build/*.o
6 6

  
7 7
clean:
test/test-compile.sh
116 116
    fi	
117 117
	# Cheching witness
118 118
    pushd $build > /dev/null
119
    $LUSTREC -horn -d $build/${name}_witnesses -node check $build/${name}_witnesses/inliner_witness.lus 2>/dev/null
119
    $LUSTREC -horn -d $build/${name}_witnesses -node check $build/${name}_witnesses/inliner_witness.lus -verbose 0
120 120
    popd > /dev/null
121 121
    z3="`z3 -T:10 $build/${name}_witnesses/inliner_witness.smt2 | xargs`"
122 122
    if [ "x`echo $z3 | grep unsat`" == "xunsat" ]; then
test/tests_ok.list
903 903
./tests/clocks/clocks1.lus
904 904
./tests/clocks/clocks2.lus
905 905
./tests/clocks/oversampling0.lus
906
./tests/linear_ctl/ex8sat.lus,top
907
./tests/linear_ctl/ex2reset.lus,top
908
./tests/linear_ctl/lp_iir_9600_2.lus,top
909
./tests/linear_ctl/ex4reset.lus,top
910
./tests/linear_ctl/ex3.lus,top
911
./tests/linear_ctl/ex6sat.lus,top
912
./tests/linear_ctl/ex3reset.lus,top
913
./tests/linear_ctl/ex7sat.lus,top
914
./tests/linear_ctl/chain5_6.lus,top
915
./tests/linear_ctl/ex4sat.lus,top
916
./tests/linear_ctl/chain4_4.lus,top
917
./tests/linear_ctl/ex3sat.lus,top
918
./tests/linear_ctl/lp_iir_9600_6_elliptic.lus,top
919
./tests/linear_ctl/ex2sat.lus,top
920
./tests/linear_ctl/ex1reset.lus,top
921
./tests/linear_ctl/ex5.lus,top
922
./tests/linear_ctl/lp_iir_9600_4.lus,top
923
./tests/linear_ctl/ex4.lus,top
924
./tests/linear_ctl/chain4_1.lus,top
925
./tests/linear_ctl/chain5_4.lus,top
926
./tests/linear_ctl/ex6.lus,top
927
./tests/linear_ctl/ex6reset.lus,top
928
./tests/linear_ctl/ex7reset.lus,top
929
./tests/linear_ctl/ex8.lus,top
930
./tests/linear_ctl/lp_iir_9600_4_elliptic.lus,top
931
./tests/linear_ctl/ex1.lus,top
932
./tests/linear_ctl/ex2.lus,top
933
./tests/linear_ctl/ex5reset.lus,top
934
./tests/linear_ctl/chain4_l2.lus,top
935
./tests/linear_ctl/chain6_l2.lus,top
936
./tests/linear_ctl/ex1sat.lus,top
937
./tests/linear_ctl/ex5sat.lus,top
938
./tests/linear_ctl/ex8reset.lus,top
939
./tests/linear_ctl/ex7.lus,top

Also available in: Unified diff