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

simplexport: build SimplExportAndRefine on CSpec 

It looks like generated files are missing if built on SimplExport direclty.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
This commit is contained in:
Gerwin Klein 2020-03-30 11:44:40 +08:00 committed by Gerwin Klein
parent 875c313e71
commit 21933f899a
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
proof/ROOT
View File

@ -199,7 +199,9 @@ session Bisim in bisim = AInvs +
(* (*
* Binary Verification Input Step * Binary Verification Input Step
*) *)
session SimplExportAndRefine in "asmrefine" = SimplExport + session SimplExportAndRefine in "asmrefine" = CSpec +
sessions
SimplExport
theories theories
"SEL4GraphRefine" "SEL4GraphRefine"