Skip to content

Commit

Permalink
pregenerated answer files to speed up comparison testing
Browse files Browse the repository at this point in the history
  • Loading branch information
root authored and root committed Aug 26, 2024
1 parent 281a474 commit 7814ea8
Show file tree
Hide file tree
Showing 35 changed files with 150 additions and 0 deletions.
1 change: 1 addition & 0 deletions tests/baseline_compat/hyperon-mettalog_sanity/subtraction_test.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/baseline_compat/hyperon-mettalog_sanity/unique_test.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/baseline_compat/hyperon-mettalog_sanity/xor_test.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/ai-service/ai-service-composition-hard.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/ai-service/ai-service-composition-sanity.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
31 changes: 31 additions & 0 deletions tests/extended_compat/check_types/check_types-temp/b5_types_prelim.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
0.15user 0.01system 0:00.17elapsed 99%CPU (0avgtext+0avgdata 33736maxresident)k
0inputs+0outputs (0major+3630minor)pagefaults 0swaps
3 changes: 3 additions & 0 deletions tests/extended_compat/check_types/check_types-temp/c1_grounded_basic.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
[()]
0.17user 0.00system 0:00.18elapsed 100%CPU (0avgtext+0avgdata 35792maxresident)k
0inputs+0outputs (0major+3925minor)pagefaults 0swaps
3 changes: 3 additions & 0 deletions tests/extended_compat/check_types/check_types-temp/soring-via-insert.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
[(-> $a#419 (List $a#419) (List $a#419))]
0.12user 0.01system 0:00.13elapsed 100%CPU (0avgtext+0avgdata 35172maxresident)k
0inputs+0outputs (0major+3904minor)pagefaults 0swaps
82 changes: 82 additions & 0 deletions tests/extended_compat/check_types/check_types-temp/type_prop.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,82 @@
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[(StateMonad Bool)]
[(StateMonad (StateMonad Number))]
[Grounded]
[Grounded]
[Grounded]
[Grounded]
[Grounded]
[Grounded]
[Grounded]
[Expression]
[%Undefined%]
[String]
[Bool]
[Number]
[Variable]
[Grounded]
[Grounded]
[(-> (StateMonad $tgso#81071) $tgso#81071)]
[%Undefined%]
[(-> $t#83055 $t#83055 Type)]
[(-> $t#84166 $t#84166 Bool)]
[%Undefined%]
[%Undefined%]
[(-> $tnso#86580 (StateMonad $tnso#86580))]
[(StateMonad hyperon::space::DynSpace)]
[Grounded]
[Expression]
[Expression]
[Expression]
[Type]
[Type]
[(StateMonad Expression)]
[(StateMonad String)]
[(StateMonad Char)]
[(StateMonad Expression)]
[(StateMonad Variable)]
[(StateMonad Char), (StateMonad String), (StateMonad Number)]
[]
[(StateMonad Atom)]
[(StateMonad %Undefined%)]
[Symbol]
[%Undefined%]
[(StateMonad %Undefined%)]
[(StateMonad String)]
[(StateMonad Char)]
[(StateMonad hyperon::space::DynSpace)]
[(StateMonad Bool)]
[(StateMonad (StateMonad Number))]
[(StateMonad %Undefined%)]
[]
[Atom]
[%Undefined%]
[Char]
[(StateMonad Char)]
[Grounded, Grounded, Grounded]
[(State 'c'), (State "s"), (State 1)]
[(StateMonad Char), (StateMonad String), (StateMonad Number)]
[(State (quote 'c')), (State "s"), (State 1)]
[(StateMonad Expression), (StateMonad String), (StateMonad Number)]
[Grounded, Grounded, Grounded]
[Grounded]
[%Undefined%]
[]
[Grounded]
[(-> Atom Atom Atom)]
1 change: 1 addition & 0 deletions tests/extended_compat/hyperon-miner/dependent-types/bchain.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/hyperon-miner/utils/utils-test.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/SICP_book/chapter_1_3_2.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/SICP_book/chapter_2_1.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/SICP_book/chapter_2_2.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/SICP_book/chapter_2_3.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/SICP_book/chapter_2_4.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/aunt-kg/baseline_formulation.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/aunt-kg/sergey_rodionov_formulation.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/aunt-kg/simple_conversion.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/collatz/classical.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/collatz/peano.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/combinator-calculi/tree.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/combinator-calculi/y_comb_examples.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/game_of_clue/game_of_clue.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/metta_amr/metta_to_amr/amr-connect.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/metta_amr/metta_to_amr/dep-types.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/metta_amr/metta_to_amr/instances.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/metta_amr/metta_to_amr/user.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/perfect-numbers/basic.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/python_from_metta/fs.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/python_from_metta/requests.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/red-black-lambda/lambda-theory.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/red-black-lambda/red-black.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/strips/strips-to-metta-flat/queries_flat.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory
1 change: 1 addition & 0 deletions tests/extended_compat/metta-examples/strips/strips-to-metta-improved/queries.metta.answers
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
timeout: failed to run command 'time': No such file or directory

0 comments on commit 7814ea8

Please sign in to comment.