fixing type and small tweak

eyereasoner · Jul 27, 2024 · 59d5007 · 59d5007
1 parent 87135ed
commit 59d5007
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/test/pure/halting.n3s b/test/pure/halting.n3s
@@ -16,7 +16,7 @@
 
 # But provide a condition when the loop could generate a result
 (_:S0 _:S1 _:S2 _:S3 _:S4 _:S5 _:S6 _:S7 _:S8 _:S9) log:onNegativeSurface {
-    _:SO a :Test .
+    _:S0 a :Test .
     _:S0 :child _:S1 .
     _:S1 :child _:S2 .
     _:S2 :child _:S3 .

diff --git a/test/pure/halting2_FAIL.n3s b/test/pure/halting2_FAIL.n3s
@@ -16,7 +16,7 @@
 
 # But provide a condition when the loop could generate a result
 (_:S0 _:S1 _:S2 _:S3 _:S4 _:S5 _:S6 _:S7 _:S8 _:S9) log:onNegativeSurface {
-    _:SO a :Test .
+    _:S0 a :Test .
     _:S0 :child _:S1 .
     _:S1 :child _:S2 .
     _:S2 :child _:S3 .
@@ -26,4 +26,5 @@
     _:S7 :child _:S8 .
     _:S8 :child _:S9 .  
     _:S9 a :Test .
+    () log:onNegativeSurface false.
 }.