diff options
| author |  rustanleino <unknown> | 2010-10-26 01:10:24 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-10-26 01:10:24 +0000 |
| commit | 0557e6509f413fe48ee21f538b69bf72e52fc36e (patch) | |
| tree | 11b8d0ae97de431e34ecc92ce8e892e03af06b81 /Test/bitvectors | |
| parent | 13f938b07458e6f931758acd14254591873ccf55 (diff) | |
Boogie:
* Updated Parser.cs/Scanner.cs to use new .frame files from boogiepartners.
* It changes, for example, "syntax error:" to just "error:", so adjusted expected Test outputs.
Dafny:
* Ditto for its Parser.cs/Scanner.cs.
* Added ability to provide a custom Errors handler for scanner/parser.
* Added Test/dafny1/Cubes.dfy
Diffstat (limited to 'Test/bitvectors')
0 files changed, 0 insertions, 0 deletions