Revision d7b21f4f74735ee5a48d9a8c09af765c38a30d44 authored by Guillaume Claret on 12 March 2021, 11:19:43 UTC, committed by Guillaume Claret on 12 March 2021, 12:44:50 UTC
1 parent 36499cf
Makefile.local
## Tests
MICHOCOQ=src/michocoq/extraction/michocoq.native
RESET_REGRESSION=false
TESTS=$(wildcard src/contracts/testsuite/*/*.tz)
TESTS_RESULTS=$(TESTS:.tz=.tz.res)
%.tz.res: %.tz
$(MICHOCOQ) "$$(cat $<)" > $*.tz.res
ifeq ($(RESET_REGRESSION),true)
@cp $*.tz.res $*.tz.expected
else
@diff $*.tz.res $*.tz.expected
endif
test: all $(TESTS_RESULTS)
@rm $(TESTS_RESULTS)
Computing file changes ...