EXE=
ifeq ($(HOSTTYPE),win32)
  EXE=.exe
endif

LUCKY=../../../bin/lucky$(EXE)
test:
	$(LUCKY) -l 10 $(OPT) -seed 1 \
	simpler.luc | sed -e "s/^M//"  | grep -v " Lucky Version"  > test.rif && \
	$(LUCKY) -l 10 $(OPT) -seed 1 \
	fairness.luc | sed -e "s/^M//"  | grep -v " Lucky Version"  >> test.rif && \
	$(LUCKY) -l 10 $(OPT) -seed 1 \
	lustre_automaton.luc | sed -e "s/^M//"  | grep -v " Lucky Version"  >> 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 $(OBJDIR)



