diff options
| author |  Unknown <aleks@aleks-vostro> | 2011-07-13 01:24:27 -0700 |
|---|---|---|
| committer | Unknown <aleks@aleks-vostro> | 2011-07-13 01:24:27 -0700 |
| commit | 5905061aa422f1994847c896e833a432fbada9ef (patch) | |
| tree | 12243c6a66002242e3c543c37deb55ac238577e4 /Test/dafny0/Answer | |
| parent | 83ff9df719807e59c961c10ab120467968b18b94 (diff) | |
- changed the parser to create VarLiteral instead of IdLiteral for
method arguments in method pre/post conditions and quantiication
variables in quantified expressions
- refactoring: changed the EvalSym method to return an expression instead of
a constant.
Diffstat (limited to 'Test/dafny0/Answer')
0 files changed, 0 insertions, 0 deletions