Isola2022: fix s4 and s5

lou1306 · lou1306 · commit 2456df080262 · 2022-07-27T10:49:56.000+02:00
diff --git a/isola2022/s4.labs b/isola2022/s4.labs
@@ -54,4 +54,4 @@ assume {
 
 check {
 
-}
+}
diff --git a/isola2022/s5.labs b/isola2022/s5.labs
@@ -1,5 +1,5 @@
 system {
-    extern = _birds, _grid, _omega, _delta
+    extern = _birds, _grid, _omega, _delta, _lambda
     spawn = Bird: _birds, Predator: 1
 }
 
@@ -80,4 +80,4 @@ assume {
 
 check {
 
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`system {`
`2`		`- extern = _birds, _grid, _omega, _delta`
	`2`	`+ extern = _birds, _grid, _omega, _delta, _lambda`
`3`	`3`	`spawn = Bird: _birds, Predator: 1`
`4`	`4`	`}`
`5`	`5`
`@@ -80,4 +80,4 @@ assume {`
`80`	`80`
`81`	`81`	`check {`
`82`	`82`
`83`		`-}`
	`83`	`+}`