diff options
| author |  Shaz Qadeer <qadeer@microsoft.com> | 2016-01-10 09:19:12 -0800 |
|---|---|---|
| committer | Shaz Qadeer <qadeer@microsoft.com> | 2016-01-10 09:19:12 -0800 |
| commit | 107dae2093c2049c674cb4a32cd01143765893b9 (patch) | |
| tree | 14d73f35d87b2cd5befc72e3f0e33c9ffcf8d3c6 /Test/civl/Program4.bpl.expect | |
| parent | 24a49931e1c7d456008296e1255d8506d28cb18b (diff) | |
fixed a small problem in the precondition for FreeLinear
Diffstat (limited to 'Test/civl/Program4.bpl.expect')
0 files changed, 0 insertions, 0 deletions