
LTOP=../../../bin/lurettetop
LURETTETOP=$(LTOP)   --precision 2  \
	  --test-length 500 --thick-draw 1 \
	  --draw-inside 0 --draw-edges 0 --draw-vertices 0 --draw-all-vertices  \
	  --step-mode Inside --local-var  --no-sim2chro  --seed 3 \
	  --do-not-show-step 



test:
	rm -f test.rif0 .lurette_rc
	$(LURETTETOP) -go --output test.rif0 \
	-rp "sut:v4:heater_control.lus:heater_control" \
	-rp "oracle:v4:heater_control.lus:not_a_sauna" \
	-rp "env:lutin:degradable-sensors.lut:main" \
    && \
	grep -v "lurette chronogram" test.rif0  | \
	grep -v "This is lurette Version"  | \
	grep -v "The execution lasted"| sed -e "s/^M//" > test.rif  &&\
	rm -f test.res && diff -u -i  test.rif.exp test.rif > test.res
	[ ! -s test.res ] && make clean 



utest:
	cp test.rif test.rif.exp


clean:
	rm -rf *.ec *.log *~ .*~ *.o *rif0 *rif Data *.pp_luc *.plot *.gp



test_dontgo:
	rm -f test.rif0 .lurette_rc
	$(LURETTETOP)  --output test.rif0 degradable-sensors.luc && \
	grep -v "lurette chronogram" test.rif0  | \
	grep -v "The execution lasted"| sed -e "s/^M//" > test.rif  &&\
	rm -f test.res && diff -u -i  test.rif.exp test.rif > test.res
	[ ! -s test.res ] && make clean 


