
LTOP=/usr/local/tools/lustre-misc/lurette/i386-linux-gcc3/bin/lurettetop
LTOP=../../../bin/lurettetop --old-mode



LURETTETOP=$(LTOP)   --precision 2 --sut heater_control.lus \
	  --main-sut-node heater_control --oracle heater_control.lus \
	  --main-oracle-node not_a_sauna --sut-compiler verimag \
	  --oracle-compiler verimag --test-length 1 --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.rif .lurette_rc
	$(LURETTETOP) -go --output test.rif heater_control_env.luc && \
	make clean 

utest:
	cp test.rif test.rif.exp

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



dontgo:
	rm -f test.rif0 .lurette_rc
	$(LURETTETOP)   heater_control_env.luc 


