adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

autocorres: do not store images of test sessions 

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-03-21 18:04:45 +08:00 committed by Gerwin Klein
parent 82e116ef6c
commit 78717650f6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/autocorres/Makefile
View File

@ -50,13 +50,13 @@ $(PARSE_TESTS_THY): %.thy: %.c
# Test all the files in our "tests/" directory.
AutoCorresTest: clean-tests tests/ROOT
$(ISABELLE_TOOL) build -d ../.. -d tests -b -v AutoCorresTest
$(ISABELLE_TOOL) build -d ../.. -d tests -v AutoCorresTest
.PHONY: AutoCorresTest
# Parse the seL4 kernel
AutoCorresSEL4:
make -C ../../proof CBaseRefine
$(ISABELLE_TOOL) build -d ../.. -b -v AutoCorresSEL4
$(ISABELLE_TOOL) build -d ../.. -v AutoCorresSEL4
.PHONY: AutoCorresSEL4
# Build the documentation sub-sessions.