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

proof: bring ROOT comment up to date with AutoCorres_C move

This commit is contained in:
Gerwin Klein 2018-06-30 16:20:11 +02:00
parent cc387f96dc
commit 15f606af71
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proof/ROOT
View File

@ -101,7 +101,7 @@ session CBaseRefine = CSpec +
Refine
AutoCorres
theories [condition = "SKIP_DUPLICATED_PROOFS", quick_and_dirty, skip_proofs]
(* ../lib/clib/AutoCorres_C explains why L4VerifiedLinks is included here. *)
(* crefine/lib/AutoCorres_C explains why L4VerifiedLinks is included here. *)
"crefine/lib/L4VerifiedLinks"
"crefine/$L4V_ARCH/Include_C"
theories