diff options
| author |  leino <unknown> | 2015-04-29 22:55:33 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-04-29 22:55:33 -0700 |
| commit | 1c5875daddfeb4736af4245c566a4d2dae31a1cf (patch) | |
| tree | 46486babc5344aeb408291d0c6a541268b5d13c3 /Test/dafny4/NipkowKlein-chapter3.dfy.expect | |
| parent | 130aa8932b297b5f736d6c2d26407c288ad09190 (diff) | |
Added to the test suite a Dafny encoding of Chapter 3 from the Nipkow and Klein book on semantics
Diffstat (limited to 'Test/dafny4/NipkowKlein-chapter3.dfy.expect')
| -rw-r--r-- | Test/dafny4/NipkowKlein-chapter3.dfy.expect | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Test/dafny4/NipkowKlein-chapter3.dfy.expect b/Test/dafny4/NipkowKlein-chapter3.dfy.expect new file mode 100644 index 00000000..ab18d98e --- /dev/null +++ b/Test/dafny4/NipkowKlein-chapter3.dfy.expect @@ -0,0 +1,2 @@ +
+Dafny program verifier finished with 28 verified, 0 errors
|