blob: 30f91b2e01a66a5ab2e7aad7b3da6e7bca956f97 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
1. Installation instructions
----------------------------
- download the entire boogie source distribution and place it in c:\boogie
- create c:\tmp folder
- copy the Jennisys\scripts\StartDafny-jen.bat script into c:\tmp
2. Running the examples
----------------------------
$ cd Jennisys
$ bin/Debug/Jennisys.exe examples/<name>.jen
The most current and complete set of examples is in the
"examples/oopsla12" folder. No additional Jennisys switches need be
passed for either of them.
Synthesized programs will be generated in "c:\tmp", and their file
names will follow the following pattern:
"jennisys-synth_<example-name>.dfy"
To verify the correctness of the synthesized programs, run
$ Dafny /compile:0 jennisys-synth_<example-name>.dfy
Expected outputs (i.e., synthesized Dafny programs) for the examples
in "examples/oopsla12" can be found in the same folder.
|
