185vs35

1-VSpaceTest.metta

@@ -1,9 +1,12 @@
+
 !(extend-py! metta_learner)
 
-(vspace test 1)
+
 
 !(metta_learner::vspace-main)
 
 ; !(mettalog)
 
+!(metta_learner::vspace-main)
+
 

examples/compat/test_scripts/b4_nondeterm.metta

@@ -134,3 +134,4 @@
 !(assertEqual
   (is (air wet))
   (superpose ((stop kettle) (stop humidifier) (start ventilation))))
+

examples/compat/test_scripts/b4_nondeterm.metta.answers

@@ -1,13 +1,13 @@
-[]
-[]
-[]
-[]
-[]
-[]
-[]
-[]
-[]
-[]
-[]
-0.13user 0.02system 0:00.16elapsed 99%CPU (0avgtext+0avgdata 28724maxresident)k
-0inputs+0outputs (0major+3288minor)pagefaults 0swaps
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+[()]
+0.21user 0.01system 0:00.22elapsed 100%CPU (0avgtext+0avgdata 33128maxresident)k
+264inputs+0outputs (0major+3477minor)pagefaults 0swaps

examples/key-lookups-many.metta

@@ -20,44 +20,65 @@
 !(new-entry! k-8 v-8)
 !(new-entry! k-9 v-9)
 
-!(assertEqual k-0
+!(assertEqual
    (let $v (new-state v-0)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-0)
 
-!(assertEqual k-1
+!(assertEqual
    (let $v (new-state v-1)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-1)
 
-!(assertEqual k-2
+!(assertEqual
    (let $v (new-state v-2)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-2)
 
-!(assertEqual k-3
+!(assertEqual
    (let $v (new-state v-3)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-3)
 
-!(assertEqual k-4
+!(assertEqual
    (let $v (new-state v-4)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-4)
 
-!(assertEqual k-5
+!(assertEqual
    (let $v (new-state v-5)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-5)
 
-!(assertEqual "k-6"
+!(assertEqual
    (let $v (new-state v-6)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   "k-6")
 
-!(assertEqual k-7
+!(assertEqual
    (let $v (new-state v-7)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-7)
 
-!(assertEqual k-8
+!(assertEqual
    (let $v (new-state v-8)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-8)
 
-!(assertEqual k-9
+!(assertEqual
    (let $v (new-state v-9)
-    (match &data (= (get-data $x) $v) $x)))
+    (match &data (= (get-data $k) $v) $k))
+   k-9)
 
+!(assertEqual
+   (let $k k-1
+     (match &data (= (get-data $k) $v) (get-state $v)))
+   v-1)
+
+
+!(assertEqual (get-state (match &data (= (get-data k-7) $v) $v))
+   v-7)
+
+!(assertEqual (match &data (= (get-data k-7) $v) (get-state $v))
+   v-7)
 

examples/nars_extras/RUN_minnars_trimmed.metta.answers

@@ -0,0 +1,3 @@
+[()]
+30.63user 0.06system 0:30.69elapsed 99%CPU (0avgtext+0avgdata 51612maxresident)k
+0inputs+0outputs (0major+8251minor)pagefaults 0swaps