Skip to main content

Browse the archive

Revision 1f0c09730df60b78c19f0c965d697052e7484b9f authored by Arvid Jakobsson on 16 April 2021, 14:03:14 UTC, committed by Yann Regis-Gianas on 30 April 2021, 09:57:29 UTC 
Functional specification and proof for TokenToXTZ
 
Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com>
1 parent b983c92
Raw File
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