Skip to main content

Browse the archive

https://gitlab.com/nomadic-labs/mi-cho-coq
08 June 2021, 12:39:06 UTC
Revision 4f96fe56c253e98ce76ce8f618b5dced0d20e7ee authored by Arvid Jakobsson on 10 October 2020, 14:23:15 UTC, committed by Arvid Jakobsson on 10 October 2020, 15:02:05 UTC 
[dexter] functional certification of Dexter
 
Dexter version: 4e24123.

The formal specification is based on the informal specification dated
September 31, 2020.

This is a joint work by:
 - Arvid Jakobsson, Nomadic Labs
 - Kristina Sojakova, INRIA
 - Colin González, Nomadic Labs
1 parent a11bfa4
Raw File
Tip revision: 4f96fe56c253e98ce76ce8f618b5dced0d20e7ee authored by Arvid Jakobsson on 10 October 2020, 14:23:15 UTC
[dexter] functional certification of Dexter
Tip revision: 4f96fe5
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