
LURETTETOP=../../../bin/lurettetop -go -seed 1 --precision 2 


test:
	$(LURETTETOP) \
	--sut sut_sildex.c --main-sut-node sut_sildex --oracle oracle_sildex.c \
	--main-oracle-node oracle_sildex --sut-compiler sildex --oracle-compiler sildex \
	--test-length 20000 --thick-draw 1 --draw-inside 10 --draw-edges 0 --draw-vertices 0 \
	--draw-all-vertices  --step-mode Inside --no-local-var  --no-sim2chro  \
	--do-not-show-step  --output test.rif0 env.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 


utest:
	cp test.rif test.rif.exp


clean:
	rm -rf *.ec *.log *~ Data *.pp_luc



