Skip to main content

Browse the archive

https://gitlab.com/nomadic-labs/mi-cho-coq
08 June 2021, 12:39:06 UTC
Revision 5370d2ff03ef71866a5394fb4f9b28fb67bc28db authored by Yann Regis-Gianas on 03 March 2021, 13:20:01 UTC, committed by Arvid Jakobsson on 05 March 2021, 12:50:43 UTC 
Make mutez more readable by keeping the proof implicit
 
Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com>
1 parent 1ac3607
Raw File
Tip revision: 5370d2ff03ef71866a5394fb4f9b28fb67bc28db authored by Yann Regis-Gianas on 03 March 2021, 13:20:01 UTC
Make mutez more readable by keeping the proof implicit
Tip revision: 5370d2f
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