-
Notifications
You must be signed in to change notification settings - Fork 8
/
potential_plt_tests.txt
327 lines (327 loc) · 33.4 KB
/
potential_plt_tests.txt
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
packs_sys/predicate_streams/t/sanity_tests.pl: some_test/0,
packs_sys/wam_common_lisp/prolog/wam_cl/utests.pl::- dynamic(tst:is_local_test/1).
packs_sys/wam_common_lisp/prolog/wam_cl/hashtables.pl:f_hash_table_test(HT,RetVal):-get_opv(HT,hash_table_test,RetVal).
packs_sys/wam_common_lisp/prolog/wam_cl/symbols.pl: ((PresentP==t->get_test_pred(f_eql,Optionals,EqlPred);EqlPred=f_eql),
packs_sys/wam_common_lisp/prolog/wam_cl/eightball.pl:di_test:- lisp_compile_to_prolog(pkg_user,
packs_sys/wam_common_lisp/prolog/wam_cl/sequences.pl: get_test_pred(f_eql,Keys,EqlPred),
packs_sys/wam_common_lisp/prolog/wam_cl/fileload.pl:wl:lambda_def(defun, require, f_require, [sys_name, c38_optional, u_pathnames], [[let, [[string, [string, sys_name]]], [unless, [find, string, xx_modules_xx, kw_test, function(string_c61)], [u_do_list_designator, [u_file, u_pathnames], [load, u_file]]]]]).
packs_sys/wam_common_lisp/prolog/wam_cl/compile.pl:tst:is_local_test("
packs_sys/wam_common_lisp/prolog/wam_cl/tagbody.pl:tst:is_local_test(tagbody1,[tagbody,setq(b,2),[go,tag1],setq(a,1),(tag1),setq(a,4),print(plus(a,b))],[]).
packs_sys/wam_common_lisp/prolog/wam_cl/readtables.pl:atom_symbol_test(SymbolName,Symbol):- reading_package(Package),atom_symbol(Package,SymbolName,Symbol),!.
packs_sys/wam_common_lisp/prolog/wam_cl/prologfns.pl:tst:is_local_test(block2,[block,block2,[tagbody,setq(b,2),[go,tag2],setq(a,1),(tag1),
packs_sys/wam_common_lisp/prolog/wam_cl/clstructs.pl: m(ro,claz_weak_hash_table___test,test),
packs_sys/wam_common_lisp/prolog/wam_cl/block.pl:tst:is_local_test(do(0.0),
packs_sys/wam_common_lisp/prolog/wam_cl/header.pl::- dynamic(tst:is_local_test/1).
packs_sys/wam_common_lisp/prolog/wam_cl/paramfns.pl:get_test_pred(IfMissing,Keys,Pred):-
packs_sys/wam_common_lisp/prolog/wam_cl/condifs.pl:must_compile_test_body(Ctx,Env,TestResult,Test,TestBody,TestResultBody):-
packs_sys/wam_common_lisp/prolog/wam_cl/conses.pl: get_test_pred(f_eql,Options,EqlPred),
packs_sys/wam_common_lisp/prolog/wam_cl/streams.pl: * (streams_test.pl)
packs_sys/wam_common_lisp/t/pre_commit_01.pl::- ensure_loaded(library(pfc_test)).
packs_sys/wam_common_lisp/t/sanity_01.pl::- pfc_test_feature(mt,must_not_be_pfc_file).
packs_sys/wam_common_lisp/t/test_header.pl::- wdmsg(reload_of_test_header).
packs_sys/dictoo/t/sanity_tests.pl::- consult(library(dictoo_tests)).
packs_sys/dictoo/t/dictoo_tests.pl:test(2):- dict_create(Dict,foo,[key_test-value_success]) , X = Dict.key_test, writeln(X).
packs_sys/instant_prolog_docs/t/sanity_tests.pl:all_tests:- forall(test(_),true).
packs_sys/logicmoo_ec/prolog/lps_pddl/lps_pddl_convert.pl:assert_lps(Lps):- assert_lps(lps_test_mod,Lps).
packs_sys/logicmoo_ec/prolog/ec_planner/ec_common.pl:run_tests:-
packs_sys/logicmoo_ec/prolog/ec_planner/ec_loader.pl::- export_transparent(e_reader_teste/0).
packs_sys/logicmoo_ec/prolog/ec_planner/ec_lps_convert_advice.pl::- dynamic lps_test_result/3.
packs_sys/logicmoo_ec/prolog/ec_planner/ec_reader.pl: e_reader_test/0,
packs_sys/logicmoo_ec/prolog/ec_planner/ec_lps_convert.pl:skip_tests.
packs_sys/logicmoo_ec/prolog/ec_planner/ec_reader_no_lps.pl: with_e_sample_tests(1),
packs_sys/logicmoo_ec/prolog/ec_planner/ec_test_incl.pl::- discontiguous do_test/1.
packs_sys/logicmoo_ec/prolog/hyhtn_pddl/ptools/olprecede.pl: nb_pair_test(Type,A,B,Ret1) ,
packs_sys/logicmoo_ec/prolog/hyhtn_pddl/hyhtn_code1.pl:% :-tell(user),run_header_tests.
packs_sys/logicmoo_ec/prolog/hyhtn_pddl/hyhtn_code.pl:tryff(Call):- predicate_property(Call,_),!,once(tryf((Call,assert(passed_test_try(Call))))),fail.
packs_sys/logicmoo_ec/prolog/hyhtn_pddl/hyhtn_new.pl: %write_out_test_data('.preClean',Id),
packs_sys/logicmoo_ec/prolog/hyhtn_pddl/hyhtn_lm.pl:% :-tell(user),run_header_tests.
packs_sys/logicmoo_ec/prolog/hyhtn_pddl/rsasak_forward_wa_star_h_add.pl:probfreecell:- solve_filespddl('benchmarks/freecell/domain.pddl', '../test/pddl_tests/benchmarks/freecell/probfreecell-9-5.pddl').
packs_sys/logicmoo_ec/prolog/hyhtn_pddl/hyhtn_works.pl: %write_out_test_data('.preClean',Id),
packs_sys/logicmoo_ec/prolog/hyhtn_pddl/hyhtn_code2.pl:% :-tell(user),run_header_tests.
packs_sys/logicmoo_ec/prolog/logicmoo_planner.pl::- add_absolute_search_folder(pddl,library('../test/pddl_tests/')),
packs_sys/logicmoo_ec/prolog/logicmoo_ec.pl:%test_logicmoo_ec:- run_tests.
packs_sys/logicmoo_ec/ext/theorist/snark_klsnl.pl: otres_test_otter_output(OtterRules,(Initial,NewerLiteral,NewerModal,Temporal),ERulePaths,ERules,AllNewRules).
packs_sys/logicmoo_ec/ext/PKnows-0.9.9/epath.pl: epath_not_refuted_values_test(VVIn,[],P,VVOut),
packs_sys/logicmoo_ec/ext/PKnows-0.9.9/domain.pl::- begin_tests(domain,[sto(rational_trees)]).
packs_sys/logicmoo_ec/ext/PKnows-0.9.9/fluent.pl::- begin_tests(fluent,[sto(rational_trees)]).
packs_sys/logicmoo_ec/ext/xray/hooks.pl:phook_tests(P,N,TestsA,Proc,ProcP) :-
packs_sys/logicmoo_ec/ext/xray/lemma.pl:lemma_tests_p(P,N) :-
packs_sys/logicmoo_ec/ext/xray/lemma_config.pl:dynamic_lemma_test_p(P,N) :-
packs_sys/logicmoo_ec/ext/xray/debug.pl:phook1_tests(P,N,Result) :-
packs_sys/logicmoo_ec/ext/xray/pttp.pl:ancestor_tests(P,N,Result) :-
packs_sys/logicmoo_ec/ext/xray/xray.pl:ancestor_tests(P,N,Result) :-
packs_sys/logicmoo_ec/test/sanity_tests.pl: ( \+ prolog_load_context(file,Loader) -> assert(t_l:santiy_tests_includer(Loader)) ; true).
packs_sys/logicmoo_ec/test/lps_user_examples/Solomon and the two women.pl: put_to_test(a, b),
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_eat_cake_3.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/sanity_equals_01_extra.pl:do_test(all):- maplist(call,
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_b.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_plant.e.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_c.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_8.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_6.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_story.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/Example4.e.pl::-include(library('ec_planner/ec_test_incl')).
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_eat_cake_2.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/testA.e.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_eat_cake_good_1.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_1.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/Example1a.e.pl::-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_includes.e',257).
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_3.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/Example2.e.pl::-include(library('ec_planner/ec_test_incl')).
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_7.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/Example3.e.pl::-include(library('ec_planner/ec_test_incl')).
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_a.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_eat_cake_1.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_9.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_4.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e.pl::-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_examples.e',9038).
packs_sys/logicmoo_ec/test/ec_planner/ectest/TestBoxRoom.e.pl::-include(library('ec_planner/ec_test_incl')).
packs_sys/logicmoo_ec/test/ec_planner/ectest/testB.e.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_includes.e.pl::-was_s_l('/pack/logicmoo_ec/test/ec_planner/ectest/ec_reader_test_foundations.e',262).
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_shopping.e.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_eat_cake_good_2.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_imagine_cake_2.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_eat_cake_4.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_eat_cake.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_np_box_agent.e.pl::- discontiguous do_test/1.
packs_sys/logicmoo_ec/test/ec_planner/ectest/testC.e.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/Example1.e.pl::-include(library('ec_planner/ec_test_incl')).
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_2.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_imagine_cake_1.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/ec_planner/ectest/test_mail_5.pl::- include('../ec_test_incl').
packs_sys/logicmoo_ec/test/bounty0500_tests.pl:root@gitlab:/opt/logicmoo_workspace/packs_sys/planner_api/t# swipl bounty0500_tests.pl
packs_sys/pfc/prolog/pfc_test.pl::- module(pfc_test,[why_was_true/1,mpred_test/1]).
packs_sys/pfc/prolog/pfclib/pfc_2_0_full.pl: filter_buffer_n_test/3,
packs_sys/pfc/prolog/pfclib/system_autoexec_3_0.pfc.pl:%:- use_module(library(pfc_test)).
packs_sys/pfc/prolog/pfclib/system_base.pfc.pl:%:- use_module(library(pfc_test)).
packs_sys/pfc/prolog/pfclib/system_autoexec.pfc.pl:% :- mpred_test(ensure_loaded('pttpFWC.pfc')).
packs_sys/pfc/prolog/pfclib/pfc_3_0_full.pl:mpred_test(\+ X):- !, mpred_test(~ X).
packs_sys/pfc/prolog/dialect/pfc_ext/mpred_core.pl: filter_buffer_n_test/3,
packs_sys/pfc/prolog/dialect/pfc_ext/mpred_database.pl:map_unless(_Test,_,[],_) :- !.
packs_sys/pfc/prolog/dialect/pfc_ext/mpred_justify.pl:% local_testing
packs_sys/pfc/doc/swish/mcp.pl:do_test :-
packs_sys/pfc/t/sanity_base/mpred_pfc_test_02.pl::- include('mpred_pfc_test_03').
packs_sys/pfc/t/sanity_base/mt_01b.pl::- mpred_test(clause_u(header_sane:loves(_,_))).
packs_sys/pfc/t/sanity_base/make_exe.pl::- qsave_program(tml_test).
packs_sys/pfc/t/sanity_base/mt_01c_0a.pl::- pfc_test_feature(mt,\+ clause_u(header_sane:loves(_,_))).
packs_sys/pfc/t/sanity_base/mt_01a_0a.pl::- pfc_test_feature(mt,must_not_be_pfc_file).
packs_sys/pfc/t/sanity_base/no_reload_pfc_test.pl::- consult('mpred_pfc_test_01.pl').
packs_sys/pfc/t/sanity_base/clause_fwd_02.pfc.pl::- mpred_test(early_aa(1)).
packs_sys/pfc/t/sanity_base/food_and_drink_arity2.pl:do_test :-
packs_sys/pfc/t/sanity_base/prolog_tests.pl::- include('mpred_pfc_test_01.pl').
packs_sys/pfc/t/sanity_base/attvar_01.pl:%:- pfc_test_feature(mt,must_not_be_pfc_file).
packs_sys/pfc/t/sanity_base/mpred_pfc_test_03.pl:% was_module(red_test03,[]).
packs_sys/pfc/t/sanity_base/mt_01a.pl::- pfc_test_feature(mt,must_not_be_pfc_file).
packs_sys/pfc/t/sanity_base/mt_01c.pl::- mpred_test(clause_u(cycKB1:loves(_,_))).
packs_sys/pfc/t/sanity_base/mt_01e.pl::- pfc_test_feature(mt,\+ mtHybrid(header_sane)).
packs_sys/pfc/t/sanity_base/clause_fwd_01a.pfc.pl:mpred_test_cf(P):- dmsg_pretty((:- mpred_test(P))),mpred_test_fok(P).
packs_sys/pfc/t/sanity_base/mt_02.pl::- if((pfc_test_feature(mt,X=1),X==1)).
packs_sys/pfc/t/sanity_base/test_header.pl::- wdmsg(reload_of_test_header).
packs_sys/pfc/t/sanity_base/predmt_01a.pl::- mpred_test(clause_u(socialMt:loves(_,_))).
packs_sys/pfc/t/sanity_base/food_and_drink.pl:do_test :-
packs_sys/pfc/t/sanity_base/mt_09.pl::- pfc_test_feature(pfc_file_detect,must(\+ is_pfc_file)).
packs_sys/pfc/t/sanity_base/predmt_01b.pl::- mpred_test(clause_u(socialMt:loves(_,_))).
packs_sys/pfc/t/sanity_base/mt_01c_0b.pl::- mpred_test(clause_u(cycKB1:loves(_,_))).
packs_sys/pfc/t/sanity_base/mt_01d.pl::- mpred_test(clause_u(cycKB1:loves(_,_))).
packs_sys/pfc/t/sanity_base/missionaries_and_cannibals.pl:do_test :-
packs_sys/pfc/t/sanity_base/mpred_pfc_test_04.pl::- include('mpred_pfc_test_03').
packs_sys/pfc/t/sanity_base/clause_fwd_01b.pfc.pl::- mpred_test(early_aa(1)).
packs_sys/pfc/t/sanity_base/mt_01.pl::- mpred_test(clause_u(socialMt:loves(_,_))).
packs_sys/pfc/t/sanity_base/clause_fwd_3u.pfc.pl:mpred_test_cf(P):- dmsg_pretty((:- mpred_test(P))),mpred_test_fok(P).
packs_sys/pfc/t/sanity_base/clause_fwd_01c.pfc.pl::- mpred_test(early_aa(1)).
packs_sys/pfc/t/try_logicmoo_examples.pl::- doall(dcall_test(mother(Female,Who))).
packs_sys/logicmoo_cg/prolog/logicmoo_cg.pl::- module(logicmoo_cg,[cg_reader_tests/0,cg_demo/0]).
packs_sys/logicmoo_cg/prolog/cgp_lib/cgp_common_logic.pl: [run_tests/0,
packs_sys/logicmoo_cg/prolog/cgp_lib/cgp_common_logic_extra.pl: [run_tests/0,
packs_sys/logicmoo_cg/prolog/cgp_lib/cgp_pl_reader.pl::- discontiguous(cg_test_data/2).
packs_sys/logicmoo_cg/prolog/cgp_lib/cgp_reader.pl::- multifile_data(cg_test_data/2).
packs_sys/gvar_syntax/t/sanity_tests.pl::- consult(gvar_syntax_tests).
packs_sys/gvar_syntax/t/gvar_syntax_tests.pl:all_tests:- forall(clause(test(X),Body),(dmsg(test(X)),must(Body))).
packs_sys/logicmoo_base/prolog/logicmoo_cliop.pl: reexport_from(system,trill:init_test/2),
packs_sys/logicmoo_base/prolog/logicmoo_typesystem.pl: mpred_save_restore_file('some_test.pl~'))))),!.
packs_sys/logicmoo_base/prolog/logicmoo_repl.pl:decl_kb_shared_tests:-
packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_basic.pfc.pl:%:- meta_predicate(mp_test_agr(?,+,-,*,^,:,0,1,5,9)).
packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_constraints.pfc.pl:predicate_relaxed(weak_test/2).
packs_sys/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:==>( specialized_conflict_tests ==> (( ~tCol(T),tCol(T)) ==> conflict(~tCol(T)))).
packs_sys/logicmoo_base/prolog/logicmoo/pfc/autoexec.pfc.pl:% :- mpred_test(ensure_loaded('pttpFWC.pfc')).
packs_sys/logicmoo_base/prolog/logicmoo/pttp/dbase_i_mpred_pttp_statics.pl: pttp_test/2,
packs_sys/logicmoo_base/prolog/logicmoo/pttp/dbase_i_mpred_pttp.pl::- kb_shared(pttp_test/2).
packs_sys/logicmoo_base/prolog/logicmoo/pttp/dbase_i_mpred_pttp_testing.pl::- module(mpred_pttp_testing,[]).
packs_sys/logicmoo_base/prolog/logicmoo/tptp/infra/src/patched_rdf_triple.pl:% output with the stored desired output (see rdf_test.pl).
packs_sys/logicmoo_base/prolog/logicmoo/tptp/pdl-tableau/problems.pl:problems(routine_w_test, [
packs_sys/logicmoo_base/prolog/logicmoo/tptp/pdl-tableau/pdl_tableau.pl::- set_test_output_filename('/tmp/testing.log').
packs_sys/logicmoo_base/prolog/logicmoo/tptp/pdl-tableau/testing.pl:% ProblemClassId is e.g. routine, routine_w_test, difficult; see
packs_sys/logicmoo_base/prolog/logicmoo/tptp/pdl-tableau/settings.pl:create_test_output_file :- !,
packs_sys/logicmoo_base/prolog/logicmoo/tptp/pdl-tableau/pdlProver.pl:% ProblemClassId is e.g. routine, routine_w_test, difficult; see
packs_sys/logicmoo_base/prolog/logicmoo/typesystem/mpred_props.pl:%% pred_type_test( ?H, ?F) is semidet.
packs_sys/logicmoo_base/prolog/logicmoo/typesystem/mpred_stubs.pl:last_arg_ground(mud_test,_,_).
packs_sys/logicmoo_base/prolog/logicmoo/typesystem/mpred_userkb.pl:%baseKB:mud_test/2,
packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_exists.pl::- meta_predicate skolem_test(0).
packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_compiler.pl::-ain(baseKB:predicateConventionMt(mud_test,baseKB)).
packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_sanity.pl::- module(common_logic_sanity, [kif_test/1, test_boxlog/1, test_boxlog/2, test_defunctionalize/1]).
packs_sys/logicmoo_base/prolog/logicmoo/common_logic/common_logic_reordering.pl:same_cl_test0 :-
packs_sys/logicmoo_base/prolog/logicmoo/pdt_server/prolog.library/pl/junitadapter.pl::- dynamic file_to_test/1.
packs_sys/logicmoo_base/prolog/logicmoo/pdt_server/pdt.builder/prolog-src/load_builder.pl:pl_test(Project):-
packs_sys/logicmoo_base/prolog/logicmoo/pdt_server/pdt.common/pl/callgraph/call_graph_test.pl::- module(call_graph_test, []).
packs_sys/logicmoo_base/prolog/logicmoo/pdt_server/pdt.common/pl/metainference/meta_inference_test.pl::- module(meta_inference_test, []).
packs_sys/logicmoo_base/prolog/logicmoo/pdt_server/pdt.common/pl/metainference/load.pl:%:- [meta_inference_test].
packs_sys/logicmoo_base/prolog/logicmoo/pdt_server/pdt.graphicalviews/pl/pl_to_graphML.pl:%pl_test_graph:-
packs_sys/logicmoo_base/prolog/logicmoo/pdt_server/pdt.graphicalviews/pl/pl_ast_to_abba.pl: pl_test/0,
packs_sys/logicmoo_base/prolog/logicmoo_swish.pl: reexport_from(system,trill:init_test/2),
packs_sys/logicmoo_base/t/sanity_tests.pl:all_tests:- forall(test(_),true).
packs_sys/logicmoo_base/t/examples/pfc/pfc.pl::- include(mpred_tests).
packs_sys/logicmoo_base/t/examples/pfc/pfc_tests.pl:run_tests:-forall(between(1,10,X),on_x_debug((once(test(X))))).
packs_sys/logicmoo_base/t/examples/sanity_user/test_header.pl::- wdmsg(reload_of_test_header).
packs_sys/logicmoo_base/t/examples/api/is_each.pl::- mpred_test(~fooBar).
packs_sys/logicmoo_base/t/examples/api/filestream_test.pl::- mpred_test(~fooBar).
packs_sys/logicmoo_base/t/examples/api/chr_01.pl::- module(chr_test_01,[]).
packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_02.pfc.pl::- mpred_test(cute_puppy(_)).
packs_sys/logicmoo_base/t/examples/fol/sanity_sk_two_01.pfc.pl::- mpred_test(parent(douglas,_X)).
packs_sys/logicmoo_base/t/examples/fol/sanity_exists_01.pfc.pl: mpred_test(isa(_,tHeart))]).
packs_sys/logicmoo_base/t/examples/fol/sanity_poss_02.pfc.pl::- mpred_test(poss(a(b))).
packs_sys/logicmoo_base/t/examples/fol/zenls_01z.pfc.pl::-mpred_test((tBird(iChilly))).
packs_sys/logicmoo_base/t/examples/fol/kif_sanity_01.pfc.pl::- discontiguous kif_sanity_test_0/0.
packs_sys/logicmoo_base/t/examples/fol/poss_forall_exists_03.pfc.pl::- mpred_test(livesAt(_X,green_house)).
packs_sys/logicmoo_base/t/examples/fol/make_types_wff_01.pfc.pl:% ?- mpred_test(all(X,if(isa(X,servant),isa(X,human)))).
packs_sys/logicmoo_base/t/examples/fol/sanity_fi_human_01.pfc.pl::- mpred_remove(baseKB:never_retract_u(human(trudy), sanity_test)).
packs_sys/logicmoo_base/t/examples/fol/exaxtly_two.pfc.pl:test_sanity0(G):- mpred_test(G),!.
packs_sys/logicmoo_base/t/examples/fol/sanity_poss_01.pfc.pl::- mpred_test(poss(a(b))).
packs_sys/logicmoo_base/t/examples/fol/sanity_exists_02.pfc.pl: mpred_test(isa(_,tHeart))]).
packs_sys/logicmoo_base/t/examples/fol/exactly_poss_cute_06.pfc.pl:test_sanity0(G):- mpred_test(G),!.
packs_sys/logicmoo_base/t/examples/fol/make_wff_01.pfc.pl::- mpred_test(poss(isa(fred,human))).
packs_sys/logicmoo_base/t/examples/fol/exactly_puppy_02.pfc.pl:test_sanity(G):- sanity(mpred_test(G)).
packs_sys/logicmoo_base/t/examples/fol/sanity_exists_03.pfc.pl: mpred_test(isa(_,tHeart))]).
packs_sys/logicmoo_base/t/examples/fol/boxlog_sanity_03.pfc.pl::- mpred_test(cute_puppy(_)).
packs_sys/logicmoo_base/t/examples/fol/poss_forall_exists_04.pfc.pl::- mpred_test(livesAt(_X,green_house)).
packs_sys/logicmoo_base/t/examples/fol/test_header.pl::- wdmsg(reload_of_test_header).
packs_sys/logicmoo_base/t/examples/fol/family_regress_01.pfc.pl:show_test(G):- defaultAssertMt(KB),printAll(must(KB:G)).
packs_sys/logicmoo_base/t/examples/fol/test_header1.pl::- wdmsg(reload_of_test_header).
packs_sys/logicmoo_base/t/examples/fol/sanity_exactly_01.pfc.pl: mpred_test(isa(_,tHeart))]).
packs_sys/logicmoo_base/t/examples/fol/family_inheritance_01.pfc.pl:show_test(G):- cwc, defaultAssertMt(KB),printAll(must(KB:G)).
packs_sys/logicmoo_base/t/examples/fol/sanity_atmost_01.pfc.pl: mpred_test(isa(_,tHeart))]).
packs_sys/logicmoo_base/t/examples/fol/test_header2.pl::- wdmsg(reload_of_test_header).
packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_01.pfc.pl: mpred_test(isa(_,tHeart))]).
packs_sys/logicmoo_base/t/examples/fol/sanity_poss_03.pfc.pl::- mpred_test(poss(a(_))).
packs_sys/logicmoo_base/t/examples/fol/sanity_atleast_01.pfc.pl: mpred_test(isa(_,tHeart))]).
packs_sys/logicmoo_base/t/examples/fol/fol_birdt_01.pfc.pl::- mpred_test(predicate_property(tBird(_),dynamic)).
packs_sys/logicmoo_base/t/examples/fol/sanity_at_least_most_exactly_02.pfc.pl: mpred_test(isa(_,tHeart))]).
packs_sys/logicmoo_base/t/examples/fol/poss_forall_exists_02.pfc.pl::- mpred_test(poss(a(b))).
packs_sys/logicmoo_base/t/examples/fol/make_wff_02.pfc.pl::- mpred_test(poss(isa(fred,human))).
packs_sys/logicmoo_nars/prolog/nars/nal_reader.pl:is_nal_test_file(X):-filematch('../../nal-tests/**/*',X), \+ non_nal_file(X).
packs_sys/logicmoo_nars/prolog/sre_dna/reg_gram_1.pl:generate_testset :-
packs_sys/logicmoo_nars/prolog/sre_dna/compile_file_ex.pl:evaluator_reset_P(generate_testset, 100).
packs_sys/logicmoo_nars/prolog/sre_dna/parameters_P.pl:evaluator_reset_P(generate_testset,100). % <-- no
packs_sys/logicmoo_nars/prolog/miles/div_utils.pl: genterm_test/2,
packs_sys/logicmoo_nars/prolog/miles/lgg.pl: ( reduce_complete_test(SProof) ->
packs_sys/logicmoo_nars/prolog/miles/g2_ops.pl: [effaceall/3,genterm_test/2]).
packs_sys/logicmoo_nars/prolog/miles/var_utils.pl: [effaceall/3,genterm_test/2,identical_member/2,mysetof/3,
packs_sys/logicmoo_nlu/prolog/marty_white/adv_test.pl::- module(adv_test, [test_adv/0]).
packs_sys/logicmoo_nlu/prolog/marty_white/adv_eng2cmd_frame.pl::- discontiguous(eng2flogic_test/1).
packs_sys/logicmoo_nlu/prolog/marty_white/adv_lexicon.pl:thetaRole(hear, hear_1, hear_testimony_tt, -1, expl_tt, concept_tt, "testimony", "v_o", 0).
packs_sys/logicmoo_nlu/prolog/marty_white/adv_main.pl:%:- ensure_loaded(adv_test).
packs_sys/logicmoo_nlu/prolog/marty_white/adv_eng2cmd.pl::- discontiguous(eng2flogic_test/1).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/nl_pipeline.pl::- shared_parser_data(baseKB:mud_test/2).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_lexical_gen.pl:maybe_skip_search(parser_chat80, must_test_80, 3). %%
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_lexical.pl:get_test_verbs(V):- wnframes:s(_, _, V, v, _, _).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_stanford.pl:baseKB:sanity_test:- test_corenlp.
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80_regress.pl::-multifile(baseKB:mud_test/2).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/e2c/logicmoo_cyc_nl_sem.pl::- if(exists_source(logicmoo_nl_testing)).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/e2c/e2c_fracas.pl:writeEachTo(ID, Ctx, N=V):- crrect_value_arg(N, V, VV), !, append_terms([Ctx, ID, N, VV], O), !, do_test(O).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/e2c/e2c_commands.pl::- M = parser_e2c, forall(baseKB:mpred_props(M, F, A, prologDcg), must_or_rtrace(make_dcg_test_stub(M, F, A))).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/e2c/e2c_fwd_chaining.pl:baseKB:sanity_test:- t33fa.
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_candc.pl:baseKB:sanity_test:- test_candc_server.
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_e2c.pl:make_dcg_test_stub(_, _, A):- A < 3.
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_stanford_legacy_jpl.pl:% pos_tagger_test(Out),arg(3,Out,A).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chart89.pl::-multifile(baseKB:mud_test/2).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_chat80.pl::- share_mp(must_test_801/3).
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_bratko.pl:baseKB:sanity_test:- t3.
packs_sys/logicmoo_nlu/prolog/logicmoo_nlu/parser_tests.pl::- module(parser_tests, []).
packs_sys/logicmoo_nlu/prolog/config_nomicmu/plugins/adv_flp_api.pl::- defn_state_none(flp_test()).
packs_sys/logicmoo_nlu/prolog/config_nomicmu/plugins/example_area1.pl:area_test1 :-
packs_sys/logicmoo_nlu/prolog/config_nomicmu/example_bt/coronavirus.pl: declare(h(needs_to_be_tested,Person,covid19)),
packs_sys/logicmoo_nlu/prolog/config_nomicmu/example_bt/coronavirus_simplified.pl:% %% declare(h(needs_to_be_tested,Person,covid19)),
packs_sys/logicmoo_nlu/ext/candc/src/prolog/boxer/lex/framenet.pl:fnpattern(test, 35040000, 'Operational_testing', ['Agent': 'Tester', 'Location': 'Product', 'Theme': 'Unwanted_characteristics']).
packs_sys/logicmoo_nlu/ext/candc/src/prolog/boxer/knowledge/wiki.pl:wiki('range','"Kura_Test_Range"', ['"kura"','"test"','"range"']).
packs_sys/logicmoo_nlu/ext/candc/src/prolog/nutcracker/miniWordNet.pl:%:- [working/wordnet/vanilla_test_xl].
packs_sys/logicmoo_nlu/ext/candc/src/scripts/ccg/compare_deps.pl:sub get_next_test {
packs_sys/logicmoo_nlu/ext/candc/src/scripts/ccg/evaluateDeps.pl:sub get_next_test {
packs_sys/logicmoo_nlu/ext/candc/src/scripts/ccg/evaluateDepsCCGbank.pl:sub get_next_test {
packs_sys/logicmoo_nlu/ext/candc/parser_boxer.pl:e2lf_test :- e2lf("You find yourself standing by the door of Captain Picard's quarters.
packs_sys/logicmoo_nlu/ext/pldata/wn_frames.pl:+0 ## Operational_testing - testing.n - n#639975
packs_sys/logicmoo_nlu/ext/pldata/framenet.pl:fnpattern(test, 35040000, 'operational_testing', ['agent': 'tester', 'location': 'product', 'theme': 'unwanted_characteristics']).
packs_sys/logicmoo_nlu/ext/pldata/nl_iface.pl:nlkb7166:assertion_content(sentenceParameterValueInSpecification, uU(xQuoteFn, supportsResponseToOf(s("Sue", "ran", "down", "to", "McDonald", "'", "s", "and", "got", "a", "hamburger", "happy", "meal", "with", "a", "large", "Diet", "Coke", "."), s("Did", "Sue", "get", "a", "cup", "?"), "Yes.")), nartR(iCW_TestQueryFn, iCW_KBCTForCycorp_006_TEP_Response_1), 2620350).
packs_sys/logicmoo_nlu/ext/regulus/Prolog/regulus_top.pl: interpret_number_as_test_sent(N, SentChars, Comment),
packs_sys/logicmoo_nlu/ext/regulus/Prolog/regulus_test.pl:% regulus_test.pl
packs_sys/logicmoo_nlu/ext/regulus/Prolog/extract_translation_pairs.pl: split_list_into_training_dev_and_test(InList, TrainingList, DevList, TestList, ProportionDev, ProportionTest),
packs_sys/logicmoo_nlu/ext/regulus/Prolog/load_regulus.pl::- ensure_loaded(regulus_test).
packs_sys/logicmoo_nlu/ext/regulus/Prolog/summarise_make_trace.pl:context_pattern(["make text_test"], _Any-text_test).
packs_sys/logicmoo_nlu/ext/regulus/Prolog/test_assoc_and_avl.pl:assoc_test :-
packs_sys/logicmoo_nlu/ext/regulus/Prolog/start_regulus.pl::- ensure_loaded(regulus_test).
packs_sys/logicmoo_nlu/ext/regulus/Alterf/Prolog/parse_annotated_wavfiles.pl: split_annotated_wavfiles_into_training_and_test/4,
packs_sys/logicmoo_nlu/ext/regulus/Alterf/Prolog/batch_decoder.pl: corpora(annotated_wavfiles_test1),
packs_sys/logicmoo_nlu/ext/regulus/Examples/Calendar/Prolog/randomly_split_transcriptions_data.pl: '$REGULUS/Examples/Calendar/corpora/calendar_transcriptions_test.txt',
packs_sys/logicmoo_nlu/ext/regulus/Examples/Calendar/scripts/run_speech_test_test_only_again.pl: "BATCH_DIALOGUE_SPEECH_AGAIN in_coverage_test"]).
packs_sys/logicmoo_nlu/ext/regulus/Examples/Calendar/scripts/randomly_split_transcriptions_data_into_test_and_training.pl: '$REGULUS/Examples/Calendar/corpora/calendar_transcriptions_test.txt',
packs_sys/logicmoo_nlu/ext/regulus/Examples/Calendar/scripts/run_update_speech_judgements_test_only.pl: ["UPDATE_DIALOGUE_JUDGEMENTS_SPEECH in_coverage_test"]).
packs_sys/logicmoo_nlu/ext/regulus/Examples/Calendar/scripts/run_speech_test_test_only.pl: "SPLIT_SPEECH_CORPUS .MAIN test in_coverage_test out_of_coverage_test",
packs_sys/logicmoo_nlu/ext/regulus/Examples/Toy1Alterf/scripts/test_alterf.pl: %rec([1-'$REGULUS/Examples/Toy1Alterf/Generated/stored_batchrec_results_test.pl']),
packs_sys/logicmoo_nlu/ext/regulus/PrologLib/CorpusTools/random_subcorpus.pl: '$ACCEPT/MT/Europarl/Generated/europarl_questions_fr_test.txt',
packs_sys/logicmoo_nlu/ext/regulus/PrologLib/CorpusTools/crowdsource_translations.pl: '$ACCEPT/MT/Europarl/TestResults/Nov2012Data/out.train_base_test_vous.txt',
packs_sys/logicmoo_nlu/ext/regulus/PrologLib/CorpusTools/extract_interesting_examples.pl: '$ACCEPT/MT/GTFeb2012/CleanFrenchVersions/bigrams_clitics_test.pl').
packs_sys/logicmoo_nlu/ext/regulus/PrologLib/html_format_diffs.pl:test_html_format_diffs(make_test_data) :-
packs_sys/logicmoo_nlu/ext/AceRules/engine/run_testcases.pl::- module(run_testcases, [
packs_sys/logicmoo_nlu/ext/SIRIDUS/UGOT-D31/godis-apps/domain-medical/Experiments/domain_medical_TREE.pl: report( take_test(fever), pending ),
packs_sys/logicmoo_nlu/ext/SIRIDUS/UGOT-D31/godis-apps/domain-medical/domain_medical_V2.pl:plan( confirmed_by_tests,%positive_diagnosis, %
packs_sys/logicmoo_nlu/ext/SIRIDUS/UGOT-D31/godis-apps/domain-medical/lexicon_medical_english.pl:output_form(icm:reraise:confirmed_by_tests,[]).
packs_sys/logicmoo_nlu/ext/SIRIDUS/UGOT-D31/godis-apps/domain-medical/domain_medical.pl:plan( confirmed_by_tests,%positive_diagnosis, %
packs_sys/logicmoo_nlu/ext/SIRIDUS/UGOT-D31/godis-apps/domain-medical/godis-medical-text.pl: push(/shared/issues, confirmed_by_tests ),
packs_sys/logicmoo_nlu/ext/SIRIDUS/UGOT-D31/godis-apps/domain-medical/lexicon_medical_english_V2.pl:output_form(icm:reraise:confirmed_by_tests,[]).
packs_sys/logicmoo_nlu/ext/SIRIDUS/UGOT-D31/godis-apps/domain-medical/device_medical.pl:dev_query(confirmed_by_tests,Com,confirmed_by_tests):-
packs_sys/logicmoo_nlu/ext/chat80_regress/newdict.pl::-kb_shared(must_test_801/3).
packs_sys/logicmoo_nlu/ext/ape/tests/test_drs_to_x.pl: run_test(TimeLimit, Converter, Pp, Number, Text, Drs)
packs_sys/logicmoo_nlu/ext/ape/tests/test_drace.pl:* echo "[test_drace]. test_drace(core)." | swipl > drace_test_results.txt
packs_sys/logicmoo_nlu/ext/ape/tests/test_ape.pl: text_drs_eval(0, Number, Text, DrsPre, _Syntax, _TestDate, _Author, _Comment),
packs_sys/logicmoo_nlu/ext/ape/tests/test_duration.pl: execute_test(Number, Text, DRS, _TimeOutLimit)
packs_sys/logicmoo_nlu/ext/ape/tests/make_acetext_drs.pl: text_drs_eval(0, Number, Text, DrsPre, _Syntax, _TestDate, _Author, _Comment),
packs_sys/logicmoo_nlu/ext/ape/examples/output_tests.pl:swipl -s output_tests.pl -t halt -g main
packs_sys/logicmoo_nlu/ext/chat80/newtop.pl:get_prev_run_results(U,List,Time):-must_test_801(U,List,Time),!.
packs_sys/logicmoo_nlu/ext/chat80/newdict.pl::-share_mp(must_test_801/3).
packs_sys/logicmoo_nlu/ext/chat80/newdict_regress.pl::-share_mp(must_test_801/3).
packs_sys/logicmoo_nlu/test/sanity_tests.pl:all_tests:- forall(test(_),true).
packs_sys/swicli/prolog/swicffi.pl::- module(swicffi,[install_cffi/2,cffi_tests/0,to_forms/2,cffi_eval/1,cffi_test/1]).
packs_sys/swicli/prolog/swicli.pl:cli_tests:- debugging(swicli),!,forall(clause(swicli_test,Call),Call),!.
packs_sys/swicli/prolog/jpl_for_ikvm.pl:% not used outside jni_junk and jpl_test (is this (still) true?);
packs_sys/swicli/doc/winapi_dll.pl::- cffi_tests.
packs_sys/multimodal_dcg/prolog/multimodal_dcg.pl: do_dcg_util_tests/0,
packs_sys/multimodal_dcg/t/sanity_tests.pl:all_tests:- forall(test(_),true).
prologmud_server/config-enabled-swish/email.pl: [ email_test/1 % +To
prologmud_server/attic/test_release.pl:% sanity_test:- rescan_pfc.
prologmud_server/attic/remote_swish.pl: reexport_from(system,trill:init_test/2),
prologmud_server/init_mud_server.pl:%:- cg_reader_tests.
packs_sys/lps_corner/examples/slamodel.pl: time_to_test,
packs_sys/lps_corner/examples/CLOUT_workshop/burning.pl: /example/bankTransfer.pl, /example/bubbleSort.pl, /example/life.pl, /example/d_test.pl
packs_sys/lps_corner/examples/CLOUT_workshop/RockPaperScissorsEthereum.pl:grab_test_accounts(2,0.02,[Player1,Player2]),
packs_sys/logicmoo_utils/prolog/hook_database.pl:clause_asserted_test(M:H,B,R):- freeze(BB,(HH:BB=@=H:B)),clause(M:HH,BB,R).
packs_sys/logicmoo_utils/prolog/xlisting.pl::- system:reexport(library(xlisting/xlisting_web_sanity_tests)).
packs_sys/logicmoo_utils/prolog/logicmoo/util_dlist.pl:mk_test(S,lo(S), L):- numlist(1, S, L).
packs_sys/logicmoo_utils/prolog/logicmoo/util_strings.pl:local_sanity_test:- sanity(dehyphenize_const('a-b','aB')).
packs_sys/logicmoo_utils/prolog/logicmoo/butterfly_console.pl:fly_test:- bformat('hi<pre> there </pre>fred ').
packs_sys/logicmoo_utils/prolog/logicmoo/dcg_meta.pl: do_dcg_util_tests/0,
packs_sys/logicmoo_utils/prolog/logicmoo/no_repeats.pl: nr_test/2,
packs_sys/logicmoo_utils/prolog/logicmoo/redo_locally.pl:wtl_how(setup_call_cleanup, _Test , Pre , Call, Post):- !, each_call_cleanup_local(Pre , Call, Post).
packs_sys/logicmoo_utils/prolog/debuggery/ucatch.pl::- if(current_predicate(run_sanity_tests/0)).
packs_sys/logicmoo_utils/prolog/debuggery/sanity_tests.pl:all_tests:- forall(test(_),true).
packs_sys/logicmoo_utils/prolog/xlisting/xlisting_web_sanity_tests.pl:all_tests:- forall(test(_),true).
packs_sys/logicmoo_utils/prolog/xlisting/xlisting_web.pl::- export((current_form_var0/1, get_http_session0/1, is_context0/1, make_quotable_0/2, pp_i2tml_0/1, pp_i2tml_1/1, sanity_test_000/0, show_edit_term0/3, show_edit_term1/3, show_select1/2, show_select2/3)).
packs_sys/logicmoo_utils/prolog/multivar/t/sanity_tests.pl:% File: sanity_tests.pl
packs_sys/logicmoo_utils/t/sanity_tests.pl: ( \+ prolog_load_context(file,Loader) -> assert(t_l:santiy_tests_includer(Loader)) ; true).
packs_sys/prologmud/prolog/prologmud_web/src_webui/model/substance.pl:substance_cell(Agent,X,Y,WhatGlyph):- not(at_web(_)),!,substance_cell_test(Agent,X,Y,WhatGlyph).
packs_sys/prologmud/prolog/prologmud/parsing/parser_imperative.pl:% baseKB:mud_test("cmdparse test",...)
packs_sys/prologmud/prolog/prologmud/mud_builtin.pfc.pl:% :- kb_global(baseKB: mud_test/0).
packs_sys/prologmud/prolog/prologmud/mud_loader.pl:% UNDO % :- add_import_module(baseKB,mud_testing,end).
packs_sys/prologmud/prolog/prologmud/actions/look.pfc.pl: mem_test(Agent,D1,D2,YorN),
packs_sys/prologmud/prolog/prologmud/mud_startup.pl::- show_entry(gripe_time(40, doall(baseKB:regression_test))).
packs_sys/prologmud/prolog/prologmud/server/mud_testing.pl:%:-module(mud_testing,[]).
packs_sys/prologmud/t/sanity_tests.pl:all_tests:- forall(test(_),true).
packs_sys/body_reordering/prolog/logicmoo_util_autocut.pl:a:- throw(failed_test).
packs_sys/body_reordering/t/sanity_tests.pl:all_tests:- forall(test(_),true).