test: runtest  lus2lic.time lus2lic.diff


runtest: 
	runtest  --all --tool lus2lic  || true

.PHONY:lus2lic.diff lus2lic.time
lus2lic.diff:
	diff -U 1 -I "Test Run By" -I "testcase \./lus2lic" -I "runtest completed at" \
	  lus2lic.log.ref lus2lic.log > lus2lic.diff || \
	(ls -l lus2lic.diff; exit 1)


lus2lic.time:
	grep "testcase \./lus2lic" lus2lic.log > lus2lic.time

utest:
	cp lus2lic.log lus2lic.log.ref

nonreg:
	runtest --all --tool lus2lic  --ignore progression.exp

prog:
	runtest --all 	--tool lus2lic --ignore non-reg.exp