Merge pull request #89 from UQ-PAC/basic_arrays_write_spec_fix

Fix outdated example specs
UQ-PAC · Sep 29, 2023 · 87983bd · 87983bd
2 parents aadf23c + 2ed3d07
commit 87983bd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/examples/basic_arrays_read/basic_arrays_read.spec b/examples/basic_arrays_read/basic_arrays_read.spec
@@ -1,6 +1,6 @@
 Globals:
 arr: int[2]
 
-L: arr[0] -> false, arr[1] -> false
+L: arr -> false
 Rely: old(arr[0]) == arr[0]
 Guarantee: true
diff --git a/examples/basic_arrays_write/basic_arrays_write.spec b/examples/basic_arrays_write/basic_arrays_write.spec
@@ -1,7 +1,7 @@
 Globals:
 arr: int[2]
 
-L: arr[0] -> false, arr[1] -> false
+L: arr -> false
 Rely: true
 Guarantee: old(arr[0]) == arr[0]