diff options
| author |  rustanleino <unknown> | 2010-11-17 17:34:09 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-11-17 17:34:09 +0000 |
| commit | f3cd67af3c2c7f99b8e75dd5660fc1c7a0b3114d (patch) | |
| tree | 0b92eaf314db3ce5eb929eeefd5efa4a00ddd7ce /Test/test20/EmptySeq.bpl | |
| parent | 9b2ab3b80a0c816862b8b6c90e64050b8369a51e (diff) | |
Chalice: white space delta in test file
Dafny: Simplified VSComp2010/Problem4-Queens.dfy from using an inductive ghost-method lemmas to just using an assert
Diffstat (limited to 'Test/test20/EmptySeq.bpl')
0 files changed, 0 insertions, 0 deletions