diff options
| author |  rustanleino <unknown> | 2009-11-05 22:56:10 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-11-05 22:56:10 +0000 |
| commit | 43004594801ab135fde6dbd69a38521a95a30f70 (patch) | |
| tree | e9b54d648011a9628ec1d724c45142fe6c78e180 /Test/inline | |
| parent | 3e050d0273c88db1b00c2d157ac1b970f2a5b4d7 (diff) | |
Applied patch 4316, which fixes an unsoundness in the axiomatization of sequences (for both Dafny and Chalice). This in turn fixes issue 5876.
Diffstat (limited to 'Test/inline')
0 files changed, 0 insertions, 0 deletions