diff options
| author |  Bryan Parno <parno@microsoft.com> | 2014-10-27 13:12:58 -0700 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2014-10-27 13:12:58 -0700 |
| commit | da78eefe44700c19ef3b3b5ee245899b35109e12 (patch) | |
| tree | 64548cb26a5653ad3ba7b5d114a2b0a6bc0a3128 /Source/Dafny/Makefile | |
| parent | 7dc13a5cf099a457b3bebd9a8323c6c723373031 (diff) | |
Allow non-ghost axioms in order to model trusted external calls,
e.g., Ironclad's calls to assembly instructions.
Also fixed what appeared to be a bug in the Makefile for invoking Coco
Diffstat (limited to 'Source/Dafny/Makefile')
| -rw-r--r-- | Source/Dafny/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Makefile b/Source/Dafny/Makefile index 95cd7748..4c01c780 100644 --- a/Source/Dafny/Makefile +++ b/Source/Dafny/Makefile @@ -6,7 +6,7 @@ # ###############################################################################
COCO_EXE_DIR = ..\..\..\boogiepartners\CocoRdownload
FRAME_DIR = ..\..\..\boogiepartners\CocoR\Modified
-COCO = COCO = $(COCO_EXE_DIR)\Coco.exe
+COCO = $(COCO_EXE_DIR)\Coco.exe
# "all" depends on 2 files, really (Parser.cs and Scanner.cs), but they
# are both generated in one go and I don't know a better way to tell
|