forked from drspro/metta-wam
-
Notifications
You must be signed in to change notification settings - Fork 0
/
ListTest.metta.answers
executable file
·27 lines (27 loc) · 1.35 KB
/
ListTest.metta.answers
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
+ '[' 0 -eq 1 ']'
+ echo 'Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/common/ListTest.metta'
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/common/ListTest.metta
+ eval 'timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/common/ListTest.metta'
++ timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/common/ListTest.metta
[()]
[("============ Test insert ============")]
[(Cons 1 Nil)]
[(Cons 1 (Cons 2 Nil))]
[(Cons 1 (Cons 2 (Cons 3 Nil)))]
[True]
[("============ Test sort ============")]
[(Cons 1 Nil)]
[(Cons 1 (Cons 2 Nil))]
[(Cons 1 (Cons 2 (Cons 3 Nil)))]
[("============ Test elem ============")]
[True]
[False]
[("============ Test uniq ============")]
[(Cons 2 (Cons 3 (Cons 1 Nil)))]
[(Cons 2 (Cons 3 Nil))]
[("============ Test insert_uniq ============")]
[(Cons 1 (Cons 2 Nil))]
[(Cons 1 (Cons 2 (Cons 3 Nil)))]
[(Cons 1 (Cons 2 (Cons 3 Nil)))]
0.52user 0.00system 0:00.52elapsed 100%CPU (0avgtext+0avgdata 26348maxresident)k
0inputs+0outputs (0major+3421minor)pagefaults 0swaps