-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
7 changed files
with
86 additions
and
7 deletions.
There are no files selected for viewing
25 changes: 24 additions & 1 deletion
25
tests/extended_compat/metta-examples/SICP_book/chapter_1_1.metta.answers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,24 @@ | ||
timeout: failed to run command 'time': No such file or directory | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[0] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
20.77user 0.04system 0:20.82elapsed 99%CPU (0avgtext+0avgdata 47996maxresident)k | ||
0inputs+0outputs (0major+7320minor)pagefaults 0swaps |
26 changes: 25 additions & 1 deletion
26
tests/extended_compat/metta-examples/SICP_book/chapter_1_2.metta.answers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,25 @@ | ||
timeout: failed to run command 'time': No such file or directory | ||
[] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] |
18 changes: 17 additions & 1 deletion
18
tests/extended_compat/metta-examples/SICP_book/chapter_1_3.metta.answers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,17 @@ | ||
timeout: failed to run command 'time': No such file or directory | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] | ||
[()] |
3 changes: 2 additions & 1 deletion
3
tests/extended_compat/metta-examples/fizzbuzz/constructive.metta.answers
Large diffs are not rendered by default.
Oops, something went wrong.
4 changes: 3 additions & 1 deletion
4
tests/extended_compat/metta-examples/logic/puzzle.metta.answers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,3 @@ | ||
timeout: failed to run command 'time': No such file or directory | ||
[None, None, None, None, None, (Cons (Cons ivan (Cons cashier (Cons no_sister Nil))) (Cons (Cons boris (Cons controller (Cons has_sister Nil))) (Cons (Cons semyon (Cons supervisor (Cons $v6#17 Nil))) Nil))), None] | ||
6.05user 0.03system 0:06.08elapsed 99%CPU (0avgtext+0avgdata 57420maxresident)k | ||
0inputs+0outputs (0major+9554minor)pagefaults 0swaps |
6 changes: 5 additions & 1 deletion
6
tests/extended_compat/metta-examples/recursion-schemes/src/examples/benchmark.metta.answers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,5 @@ | ||
timeout: failed to run command 'time': No such file or directory | ||
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/hyperon-wam/reports/extended_compat/metta-examples/recursion-schemes/src/examples/benchmark.metta | ||
[(transfer! "../schemes.metta")] | ||
[((hylo mapExpr evalExpr nTimes) (, 3 ((hylo mapNat identity peano) 10)))] | ||
0.06user 0.01system 0:00.07elapsed 98%CPU (0avgtext+0avgdata 33144maxresident)k | ||
0inputs+0outputs (0major+3636minor)pagefaults 0swaps |
11 changes: 10 additions & 1 deletion
11
tests/extended_compat/metta-examples/recursion-schemes/src/examples/expression.metta.answers
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1,10 @@ | ||
timeout: failed to run command 'time': No such file or directory | ||
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/hyperon-wam/reports/extended_compat/metta-examples/recursion-schemes/src/examples/expression.metta | ||
[()] | ||
[(evalExpr (mapExpr (cata mapExpr evalExpr) (unFix (Fix (Plus (Fix (Plus (Fix (Var X)) (Fix (Const 2)))) (Fix (Const 40)))))))] | ||
[(Fix (Plus (Fix (Const 2)) (Fix (Const 2))))] | ||
[9] | ||
[(diff (mapExpr (para_pair mapExpr diff) (unFix (Fix (Plus (Fix (Var X)) (Fix (Const 1)))))))] | ||
[(Fix $Y), (1p $x#537), (2t $x#538)] | ||
[(Fix (Plus (Fix (Plus (Fix (Const 1)) (Fix (Var X)))) (Fix (Plus (Fix (Const 1)) (Fix (Var X))))))] | ||
0.34user 0.01system 0:00.35elapsed 100%CPU (0avgtext+0avgdata 33712maxresident)k | ||
0inputs+0outputs (0major+3839minor)pagefaults 0swaps |