Skip to main content

Browse the archive

https://gitlab.com/nomadic-labs/mi-cho-coq
08 June 2021, 12:39:06 UTC
Revision 0617440c5046719a93b612344ca9d37f5ddb9f31 authored by Raphaël Cauderlier on 18 March 2021, 10:30:36 UTC, committed by Raphaël Cauderlier on 25 April 2021, 12:21:28 UTC 
[michocoq] Fuel-free WP in the LOOP-free case
1 parent 4f2fb8a
Raw File
Tip revision: 0617440c5046719a93b612344ca9d37f5ddb9f31 authored by Raphaël Cauderlier on 18 March 2021, 10:30:36 UTC
[michocoq] Fuel-free WP in the LOOP-free case
Tip revision: 0617440
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)
back to top