diff options
| author |  Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-03 22:43:56 -0800 |
|---|---|---|
| committer | Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com> | 2013-03-03 22:43:56 -0800 |
| commit | 68a39909f93535ad4d091fce647d8a0e8539508f (patch) | |
| tree | 2b1f666381bcb13849cdc3797b4d36cf9a84a47f /Test/og/parallel2.bpl | |
| parent | 8f5515633b1273670a96a2c6b961317293d07ebf (diff) | |
fixed bugs in both parallel calls and linear stuff (reported by Chris)
also added improved error reporting suggested by Chris
Diffstat (limited to 'Test/og/parallel2.bpl')
| -rw-r--r-- | Test/og/parallel2.bpl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Test/og/parallel2.bpl b/Test/og/parallel2.bpl index 444b9805..f2d45204 100644 --- a/Test/og/parallel2.bpl +++ b/Test/og/parallel2.bpl @@ -32,4 +32,5 @@ ensures old(a)[i] == a[i]; {
assume i == i';
yield;
+ assert old(a)[i] == a[i];
}
\ No newline at end of file |