Moving

eyereasoner · Jun 26, 2024 · 04425ec · 04425ec
1 parent 77d2c06
commit 04425ec
Show file tree

Hide file tree

Showing 6 changed files with 3 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1,2 @@
-test/*.out
+config.json
+test/**/*.out
diff --git a/test/beetle16.n3s → test/pure/beetle16.n3s b/test/beetle16.n3s → test/pure/beetle16.n3s
diff --git a/test/beetle9.n3s → test/pure/beetle9.n3s b/test/beetle9.n3s → test/pure/beetle9.n3s
diff --git a/test/mona2:FAIL.n3s → test/pure/mona2:FAIL.n3s b/test/mona2:FAIL.n3s → test/pure/mona2:FAIL.n3s
diff --git a/test/mona3:FAIL.n3s → test/pure/mona3:FAIL.n3s b/test/mona3:FAIL.n3s → test/pure/mona3:FAIL.n3s
diff --git a/test/universal_statement2:FAIL.n3s → test/pure/universal_statement2:FAIL.n3s b/test/universal_statement2:FAIL.n3s → test/pure/universal_statement2:FAIL.n3s
@@ -13,7 +13,7 @@
 (_:x _:y) log:onNegativeSurface {
    _:x :is :working .
 
-   () log:onNegativeComponentSurface { 
+   () log:onNegativeSurface { 
       _:y :is :workingToo .
    } .
 } .