diff options
| author |  Aleksandar Milicevic <unknown> | 2011-08-14 13:14:20 -0700 |
|---|---|---|
| committer | Aleksandar Milicevic <unknown> | 2011-08-14 13:14:20 -0700 |
| commit | 39bfa2edfeb9a8cbbfcca1f5ed7ab870a5d4c928 (patch) | |
| tree | ad18057609ecf16c151acf0352511a2d496db9b5 /Chalice/tests | |
| parent | 266a24f47d2bddbd5784505a1efddb4925e5e4b2 (diff) | |
Jennisys:
- changed the synthesis of the Valid() function to synthesize both unrolled
and recursive definition of it, because both are needed in certain cases
- to make the recursive definition of Valid() work, a "decreases" clause is
needed. For now, decreases clause is always "decreases Repr", and that
seems to be enough for now.
Diffstat (limited to 'Chalice/tests')
0 files changed, 0 insertions, 0 deletions