com.cyc.cycjava.cycl.cyc_testing
Class cyc_testing

java.lang.Object
  extended by com.cyc.tool.subl.util.SubLTrampolineFile
      extended by com.cyc.tool.subl.util.SubLTranslatedFile
          extended by com.cyc.cycjava.cycl.cyc_testing.cyc_testing
All Implemented Interfaces:
CommonSymbols, SubLFile

public final class cyc_testing
extends SubLTranslatedFile


Nested Class Summary
static class cyc_testing.$cyc_test_file_native
           
static class cyc_testing.$cyc_test_file_p$UnaryFunction
           
static class cyc_testing.$cyc_test_native
           
static class cyc_testing.$cyc_test_p$UnaryFunction
           
 
Nested classes/interfaces inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
SubLTranslatedFile.SubL
 
Field Summary
static SubLSymbol $cyc_test_debugP$
          Set this to T if you want to debug the tests (not catch errors)
static SubLSymbol $cyc_test_filename$
          Bound to the current file being loaded, so that the tests can know what file they're in
static SubLSymbol $dtp_cyc_test_file$
           
static SubLSymbol $dtp_cyc_test$
           
static SubLInteger $int112$514
           
static SubLInteger $int22$212
           
static SubLSymbol $it_output_format$
           
static SubLSymbol $kw0$STANDARD
           
static SubLSymbol $kw101$BACKWARD
           
static SubLSymbol $kw102$FORWARD
           
static SubLSymbol $kw105$ERROR
           
static SubLSymbol $kw111$POST_BUILD
           
static SubLSymbol $kw119$NOT_RUN
           
static SubLSymbol $kw120$FAILURE
           
static SubLSymbol $kw121$SUCCESS
           
static SubLSymbol $kw126$WITH_OWNER
           
static SubLSymbol $kw14$ALLOW_OTHER_KEYS
           
static SubLSymbol $kw147$FILENAME
           
static SubLSymbol $kw148$KB
           
static SubLSymbol $kw15$DONE
           
static SubLSymbol $kw157$STOP_AT_FIRST_FAILURE_
           
static SubLSymbol $kw158$RUN_TEST_CASE_TABLES_
           
static SubLSymbol $kw159$RETURN_TEST_RUNS_
           
static SubLSymbol $kw160$TYPE
           
static SubLSymbol $kw161$RUN_NON_WORKING_TESTS
           
static SubLSymbol $kw178$HARNESS_ERROR
           
static SubLSymbol $kw179$INVALID
           
static SubLSymbol $kw181$ONLY
           
static SubLSymbol $kw200$NON_REGRESSION_SUCCESS
           
static SubLSymbol $kw201$NON_REGRESSION_FAILURE
           
static SubLSymbol $kw41$FILE
           
static SubLSymbol $kw42$GUTS
           
static SubLSymbol $kw52$TCT
           
static SubLSymbol $kw53$IUT
           
static SubLSymbol $kw54$RMT
           
static SubLSymbol $kw55$RMCT
           
static SubLSymbol $kw56$TMT
           
static SubLSymbol $kw57$ERT
           
static SubLSymbol $kw58$IT
           
static SubLSymbol $kw59$KCT
           
static SubLSymbol $kw60$TINY
           
static SubLSymbol $kw61$BOTH
           
static SubLSymbol $kw62$FULL
           
static SubLSymbol $kw70$VERBOSITY
           
static SubLSymbol $kw71$TERSE
           
static SubLSymbol $kw72$BROWSABLE_
           
static SubLSymbol $kw73$BLOCK_
           
static SubLSymbol $kw74$OUTPUT_FORMAT
           
static SubLSymbol $kw75$STREAM
           
static SubLSymbol $kw77$RUN_TINY_KB_TESTS_IN_FULL_KB_
           
static SubLSymbol $kw82$VERBOSE
           
static SubLSymbol $kw9$ALL
           
static SubLSymbol $kw90$NTHREADS
           
static SubLSymbol $kw91$NTIMES
           
static SubLSymbol $kw98$SILENT
           
static SubLList $list1
           
static SubLList $list118
           
static SubLList $list12
           
static SubLList $list129
           
static SubLList $list13
           
static SubLList $list131
           
static SubLList $list132
           
static SubLList $list134
           
static SubLList $list137
           
static SubLList $list138
           
static SubLList $list139
           
static SubLList $list140
           
static SubLList $list155
           
static SubLList $list156
           
static SubLList $list163
           
static SubLList $list164
           
static SubLList $list167
           
static SubLList $list168
           
static SubLList $list17
           
static SubLList $list170
           
static SubLList $list18
           
static SubLList $list180
           
static SubLList $list2
           
static SubLList $list206
           
static SubLList $list3
           
static SubLList $list31
           
static SubLList $list32
           
static SubLList $list33
           
static SubLList $list34
           
static SubLList $list4
           
static SubLList $list5
           
static SubLList $list6
           
static SubLList $list68
           
static SubLList $list69
           
static SubLList $list7
           
static SubLList $list80
           
static SubLList $list81
           
static SubLList $list88
           
static SubLList $list89
           
static SubLSymbol $run_tiny_kb_tests_in_full_kbP$
          Whether to run tests that only require the tiny KB in the full KB.
static SubLString $str100$Can_t_run_inference_tests_in_bloc
           
static SubLString $str104$Unexpected_testing_direction____S
           
static SubLString $str106$Can_t_run_removal_module_cost_tes
           
static SubLString $str107$Can_t_run_removal_module_cost_tes
           
static SubLString $str108$Can_t_run_evaluatable_relation_te
           
static SubLString $str109$Can_t_run_test_case_tables_in_bro
           
static SubLString $str110$Can_t_run_test_case_tables_in_blo
           
static SubLString $str122$___S_____S
           
static SubLString $str123$_S__S__S__
           
static SubLString $str124$Unknown_output_format__A
           
static SubLString $str125$_
           
static SubLString $str127$Unknown_output_format_
           
static SubLString $str133$Iterating_over_all_test_files
           
static SubLString $str149$__CTF__a_
           
static SubLString $str172$could_not_load__a_lisp_from__s
           
static SubLString $str173$testdcl
           
static SubLString $str174$Loading_test_files
           
static SubLString $str175$_lisp
           
static SubLString $str177$___HARNESS_ERROR___A__
           
static SubLString $str182$Unexpected_value__s_for__run_non_
           
static SubLString $str183$_Running_a_specified_list_of_test
           
static SubLString $str184$_Running__a_file_P_of_tests_
           
static SubLString $str185$in_the__a_KB__KB__a___System__a_S
           
static SubLString $str186$Tiny
           
static SubLString $str187$Full
           
static SubLString $str188$__No_tests_were_run___
           
static SubLString $str189$__NOTE__The_following_cyc_tests_w
           
static SubLString $str19$Iterating_over_all_Cyc_tests
           
static SubLString $str190$___Tests_finished_at__a_Total_tim
           
static SubLString $str192$Overall_result___s__
           
static SubLString $str193$__Failing_regression_tests___
           
static SubLString $str194$None____
           
static SubLString $str195$__Succeeding_regression_tests___
           
static SubLString $str197$None____
           
static SubLString $str199$None_
           
static SubLString $str202$__Failing_non_regression_tests___
           
static SubLString $str203$__Succeeding_non_regression_tests
           
static SubLString $str204$_S__A__S__A
           
static SubLString $str205$__A
           
static SubLString $str24$A_Cyc_test_named__a_already_exist
           
static SubLString $str43$Invalid_slot__S_for_construction_
           
static SubLString $str44$__CYC_TEST__a__a_
           
static SubLString $str45$__CYC_TEST__a_
           
static SubLString $str48$_s_is_not_a_CYC_TEST_GUTS_P
           
static SubLString $str51$Cyc_test_of_unexpected_type___s
           
static SubLString $str95$Parallel_Test_Thread_for_
           
static SubLString $str96$_No__
           
static SubLString $str99$Can_t_run_inference_tests_in_brow
           
static SubLSymbol $sym10$CYC_TEST_TYPE_P
           
static SubLSymbol $sym103$CATCH_ERROR_MESSAGE_HANDLER
           
static SubLSymbol $sym11$_CYC_TESTS_
           
static SubLSymbol $sym113$CFASL_INPUT_CYC_TEST
           
static SubLSymbol $sym114$CFASL_OUTPUT_OBJECT_CYC_TEST_METHOD
           
static SubLSymbol $sym115$CYC_TEST_RESULT_P
           
static SubLSymbol $sym116$NON_NEGATIVE_NUMBER_P
           
static SubLSymbol $sym117$CYC_TEST_RUN_P
           
static SubLSymbol $sym128$_CYC_TEST_FILES_
           
static SubLSymbol $sym130$CDOLIST
           
static SubLSymbol $sym135$CYC_TEST_FILE
           
static SubLSymbol $sym136$CYC_TEST_FILE_P
           
static SubLSymbol $sym141$PRINT_CYC_TEST_FILE
           
static SubLSymbol $sym142$CYC_TEST_FILE_PRINT_FUNCTION_TRAMPOLINE
           
static SubLSymbol $sym143$CTF_FILENAME
           
static SubLSymbol $sym144$_CSETF_CTF_FILENAME
           
static SubLSymbol $sym145$CTF_KB
           
static SubLSymbol $sym146$_CSETF_CTF_KB
           
static SubLSymbol $sym150$CYC_TEST_KB_P
           
static SubLSymbol $sym151$_MOST_RECENT_CYC_TEST_RUNS_
           
static SubLSymbol $sym152$_MOST_RECENT_CYC_TEST_FILE_LOAD_FAILURES_
           
static SubLSymbol $sym153$FAILING_CYC_TEST_RUN_P
           
static SubLSymbol $sym154$CYC_TEST_RUN_CYC_TEST
           
static SubLSymbol $sym16$CSOME
           
static SubLSymbol $sym162$RUN_ALL_CYC_TESTS_INT
           
static SubLSymbol $sym165$RUN_ALL_LOADED_CYC_TESTS
           
static SubLSymbol $sym166$QUOTE
           
static SubLSymbol $sym169$DECLARE_CYC_TEST_FILE_INT
           
static SubLSymbol $sym171$FIND_CYC_TESTS_BY_NAME
           
static SubLSymbol $sym176$DECLARE_CYC_TEST_FILE
           
static SubLSymbol $sym191$CYC_TEST_RUN_RESULT
           
static SubLSymbol $sym196$SUCCEEDING_CYC_TEST_RUN_P
           
static SubLSymbol $sym198$IGNORED_CYC_TEST_RUN_P
           
static SubLSymbol $sym20$PROGRESS_CDOLIST
           
static SubLSymbol $sym21$_CYC_TEST_BY_NAME_
           
static SubLSymbol $sym23$_CYC_TEST_BY_DWIMMED_NAME_
           
static SubLSymbol $sym25$REMOVAL_MODULE_TEST_P
           
static SubLSymbol $sym26$REMOVAL_MODULE_TEST_PREDICATE
           
static SubLSymbol $sym27$REMOVAL_MODULE_COST_TEST_P
           
static SubLSymbol $sym28$REMOVAL_MODULE_COST_TEST_PREDICATE
           
static SubLSymbol $sym29$CYC_TEST
           
static SubLSymbol $sym30$CYC_TEST_P
           
static SubLSymbol $sym35$PRINT_CYC_TEST
           
static SubLSymbol $sym36$CYC_TEST_PRINT_FUNCTION_TRAMPOLINE
           
static SubLSymbol $sym37$CT_FILE
           
static SubLSymbol $sym38$_CSETF_CT_FILE
           
static SubLSymbol $sym39$CT_GUTS
           
static SubLSymbol $sym40$_CSETF_CT_GUTS
           
static SubLSymbol $sym46$STRINGP
           
static SubLSymbol $sym47$CYC_TEST_GUTS_P
           
static SubLSymbol $sym49$GENERIC_TEST_CASE_TABLE_P
           
static SubLSymbol $sym50$CYC_TEST_NAME
           
static SubLSymbol $sym63$CYC_TEST_TYPE_SPEC_P
           
static SubLSymbol $sym64$CYC_TEST_WORKING_
           
static SubLSymbol $sym65$NOT_EQ
           
static SubLSymbol $sym66$CYC_TEST_TYPE
           
static SubLSymbol $sym67$FIND_CYC_TEST
           
static SubLSymbol $sym76$_STANDARD_OUTPUT_
           
static SubLSymbol $sym78$_RUN_TINY_KB_TESTS_IN_FULL_KB__
           
static SubLSymbol $sym79$RUN_CYC_TEST_INT
           
static SubLSymbol $sym8$FIRST
           
static SubLSymbol $sym83$RUN_CYC_TEST
           
static SubLSymbol $sym84$CYC_TEST_VERBOSITY_LEVEL_P
           
static SubLSymbol $sym85$BOOLEANP
           
static SubLSymbol $sym86$CYC_TEST_OUTPUT_FORMAT_P
           
static SubLSymbol $sym87$STREAMP
           
static SubLSymbol $sym92$RUN_CYC_TEST_PARALLEL_INT
           
static SubLSymbol $sym93$RUN_CYC_TEST_PARALLEL
           
static SubLSymbol $sym94$NON_NEGATIVE_INTEGER_P
           
static SubLSymbol $sym97$RUN_CYC_TEST_OBJECT_PARALLEL
           
static SubLSymbol $warn_on_duplicate_cyc_test_namesP$
          Whether we should warn if a test has the same name as another test.
static SubLFile me
           
static java.lang.String myName
           
 
Fields inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
EMPTY_SUBL_OBJECT_ARRAY
 
Fields inherited from interface com.cyc.tool.subl.jrtl.nativeCode.subLisp.CommonSymbols
ANSWER_TAG, APPEND_KEYWORD, APPEND_STACK_TRACES_TO_ERROR_MESSAGES, AREF, ASSEMBLE_FIXNUMS_TO_INTEGER, ATOM, BIGNUMP, BINARY_KEYWORD, BINDING_TYPE, BOOLEANP, CAAR, CADR, CAND, CAR, CCATCH, CDEC, CDESTRUCTURING_BIND, CDO, CDO_ALL_SYMBOLS, CDO_EXTERNAL_SYMBOLS, CDO_SYMBOLS, CDOHASH, CDOLIST, CDOTIMES, CDR, CHAR, CHAR_E_SYMBOL, CHAR_EQUAL_SYMBOL, CHAR_GREATER_THAN_OR_EQUAL_SYMBOL, CHAR_GREATER_THAN_SYMBOL, CHAR_GT_SYMBOL, CHAR_GTE_SYMBOL, CHAR_LESS_THAN_OR_EQUAL_SYMBOL, CHAR_LESS_THAN_SYMBOL, CHAR_LT_SYMBOL, CHAR_LTE_SYMBOL, CHAR_NE_SYMBOL, CHAR_NOT_EQUAL_SYMBOL, CHARACTERP, CHECK_TYPE, CINC, CLET, CMULTIPLE_VALUE_BIND, CNOT, CONS, CONSP, CONSTANT, COR, CPOP, CPROGV, CPUSH, CPUSHNEW, CREATE_KEYWORD, CSETF, CSETQ, CSOME, CTIME, CUNWIND_PROTECT, CVS_ID, DEBUG_IO, DECLAIM, DECLARE, DEFCONSTANT, DEFINE, DEFLEXICAL, DEFMACRO, DEFPARAMETER, DEFVAR, DIRECTION_KEYWORD, DYNAMIC, EIGHT_INTEGER, EIGHTEEN_INTEGER, ELEMENT_TYPE_KEYWORD, ELEVEN_INTEGER, END_KEYWORD, ENFORCE_MUST, ENFORCE_TYPE, EQ, EQL, EQUAL, EQUALP, ERROR, ERROR_KEYWORD, ERROR_OUTPUT, EVAL, EXTERNAL_FORMAT_KEYWORD, EXTERNAL_KEYWORD, FIF, FIFTEEN_INTEGER, FIRST, FIVE_INTEGER, FIXNUMP, FLOATP, FOUR_INTEGER, FOURTEEN_INTEGER, FUNCTION, FUNCTION_SPEC_P, FUNCTIONP, FUNLESS, FWHEN, GET, GETHASH, GETHASH_WITHOUT_VALUES, GUID_P, HASH_TABLE_ITERATOR_P, HASH_TABLE_P, IDENTITY, IF_DOES_NOT_EXIST_KEYWORD, IF_EXISTS_KEYWORD, IGNORE, INITIALIZATION_TYPE, INITIALIZER, INPUT_KEYWORD, INPUT_STREAM_P, INTEGERP, INTERNAL_KEYWORD, IO_KEYWORD, KEYWORDP, KILL_KEYWORD, LAMBDA_SYMBOL, LEXICAL, LIST, LISTP, LISTS, LOCK_P, LONG_BIGNUM_P, MACRO_ENV, MACRO_FORM, MEDIUM_BIGNUM_P, MEMBER, MINUS_ONE_INTEGER, MULTIPLE_VALUE_LIST, MUST, NCONC, NEW_VERSION_KEYWORD, NIL, NINE_INTEGER, NINETEEN_INTEGER, NREVERSE, NTH, NTH_VALUE, NULL, NULL_INPUT, NULL_OUTPUT, NUM_E_SYMBOL, NUM_GT_SYMBOL, NUM_GTE_SYMBOL, NUM_LT_SYMBOL, NUM_LTE_SYMBOL, NUM_NE_SYMBOL, NUMBERP, ONE_HUNDRED_THIRTY_SEVEN_INTEGER, ONE_HUNDRED_TWENTY_SEVEN_INTEGER, ONE_INTEGER, ONE_THOUSAND_INTEGER, OPTIONAL_SYMBOL, OTHERWISE, OUTPUT_KEYWORD, OUTPUT_STREAM_P, OVERWRITE_KEYWORD, PACKAGEP, PCASE, PCOND, PIF, PROBE_KEYWORD, PROCESS_TO_END, PROCESSP, PROCLAIM, PROGN, PUNLESS, PWHEN, QUERY_IO, QUIT, QUOTE, RENAME_AND_DELETE_KEYWORD, REST_SYMBOL, RET, RET_NIL, RET_T, RETURN_TAG, REVERSE, RW_LOCK_P, SECOND, SEQUENCEP, SEVEN_INTEGER, SEVENTEEN_INTEGER, SHORT_BIGNUM_P, SHOW_STACK_TRACES, SIX_INTEGER, SIXTEEN_INTEGER, SIXTY_FOUR_INTEGER, SORT, SSS, STANDARD_INPUT, STANDARD_OUTPUT, START_KEYWORD, STREAMP, STRING_E_SYMBOL, STRING_EQUAL_SYMBOL, STRING_GREATER_THAN_OR_EQUAL_SYMBOL, STRING_GREATER_THAN_SYMBOL, STRING_GT_SYMBOL, STRING_GTE_SYMBOL, STRING_LESS_THAN_OR_EQUAL_SYMBOL, STRING_LESS_THAN_SYMBOL, STRING_LT_SYMBOL, STRING_LTE_SYMBOL, STRING_NE_SYMBOL, STRING_NOT_EQUAL_SYMBOL, STRINGP, STRUCTURE_P, SUPERSEDE_KEYWORD, SUSPEND_TYPE_CHECKING, SYMBOL_FUNCTION, SYMBOL_VALUE, SYMBOLP, T, TEN_INTEGER, TERMINAL_IO, TEXT_KEYWORD, THIRTEEN_INTEGER, THIRTY_FOUR_INTEGER, THIRTY_THREE_INTEGER, THIRTY_TWO_INTEGER, THREE_INTEGER, TRACE_OUTPUT, TRUE, TWELVE_INTEGER, TWENTY_INTEGER, TWO_HUNDRED_FIFTY_FOUR_INTEGER, TWO_HUNDRED_FORTY_FOUR_INTEGER, TWO_INTEGER, UNDECLARED, UNPROVIDED, VALUES, VECTOR, VECTORP, WITH_ERROR_HANDLER, WITH_STATIC_AREA, WITH_THREAD_PRIVATE_AREA, WITH_WORKING_AREA, WORLD, ZERO_DOUBLE, ZERO_INTEGER
 
Method Summary
static SubLObject _csetf_ct_file(SubLObject object, SubLObject value)
           
static SubLObject _csetf_ct_guts(SubLObject object, SubLObject value)
           
static SubLObject ct_guts(SubLObject object)
           
static SubLObject cyc_test_file_print_function_trampoline(SubLObject object, SubLObject stream)
           
static SubLObject cyc_test_guts_type(SubLObject guts)
           
static SubLObject cyc_test_guts(SubLObject ct)
           
static SubLObject cyc_test_name(SubLObject ct)
          Names are assumed to be unique, even across type
static SubLObject cyc_test_print_function_trampoline(SubLObject object, SubLObject stream)
           
static SubLObject cyc_test_type_permissive(SubLObject ct)
           
static SubLObject cyc_test_type(SubLObject ct)
           
static SubLObject cyc_tests()
           
static SubLObject declare_cyc_testing_file()
           
 void declareFunctions()
          Declares the mapping between functions and symbols for all named functions defined in the file.
static SubLObject find_cyc_test_by_exact_name(SubLObject name)
           
static SubLObject index_all_cyc_tests_by_name()
           
static SubLObject index_cyc_test_by_name(SubLObject ct, SubLObject name)
           
static SubLObject init_cyc_testing_file()
           
 void initializeVariables()
          Initializes all global variables and private internal variables for constants defined in the file.
static SubLObject make_cyc_test(SubLObject arglist)
           
static SubLObject new_cyc_test(SubLObject file, SubLObject guts)
           
 void runTopLevelForms()
          Runs all top-level forms in order.
static SubLObject setup_cyc_testing_file()
           
static SubLObject testing_real_time_pruningP()
           
 
Methods inherited from class com.cyc.tool.subl.util.SubLTranslatedFile
extractFunctionNamed
 
Methods inherited from class com.cyc.tool.subl.util.SubLTrampolineFile
checkType, enforceType, extractBinaryFunc, extractCount, extractEnd, extractEndUsingSize, extractPackage, extractStart, extractUnaryFunc, main
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

me

public static final SubLFile me

myName

public static final java.lang.String myName
See Also:
Constant Field Values

$it_output_format$

public static SubLSymbol $it_output_format$

$cyc_test_debugP$

public static SubLSymbol $cyc_test_debugP$
Set this to T if you want to debug the tests (not catch errors)


$run_tiny_kb_tests_in_full_kbP$

public static SubLSymbol $run_tiny_kb_tests_in_full_kbP$
Whether to run tests that only require the tiny KB in the full KB. The default is t so that it's easy to run all tests on a full KB, but should be bound to NIL when testing on both a tiny and a full KB.


$cyc_test_filename$

public static SubLSymbol $cyc_test_filename$
Bound to the current file being loaded, so that the tests can know what file they're in


$warn_on_duplicate_cyc_test_namesP$

public static SubLSymbol $warn_on_duplicate_cyc_test_namesP$
Whether we should warn if a test has the same name as another test. This often happens when tests are redefined or updated, so we only want to do it when we're loading tests from a clean initial state.


$dtp_cyc_test$

public static SubLSymbol $dtp_cyc_test$

$dtp_cyc_test_file$

public static SubLSymbol $dtp_cyc_test_file$

$kw0$STANDARD

public static final SubLSymbol $kw0$STANDARD

$list1

public static final SubLList $list1

$list2

public static final SubLList $list2

$list3

public static final SubLList $list3

$list4

public static final SubLList $list4

$list5

public static final SubLList $list5

$list6

public static final SubLList $list6

$list7

public static final SubLList $list7

$sym8$FIRST

public static final SubLSymbol $sym8$FIRST

$kw9$ALL

public static final SubLSymbol $kw9$ALL

$sym10$CYC_TEST_TYPE_P

public static final SubLSymbol $sym10$CYC_TEST_TYPE_P

$sym11$_CYC_TESTS_

public static final SubLSymbol $sym11$_CYC_TESTS_

$list12

public static final SubLList $list12

$list13

public static final SubLList $list13

$kw14$ALLOW_OTHER_KEYS

public static final SubLSymbol $kw14$ALLOW_OTHER_KEYS

$kw15$DONE

public static final SubLSymbol $kw15$DONE

$sym16$CSOME

public static final SubLSymbol $sym16$CSOME

$list17

public static final SubLList $list17

$list18

public static final SubLList $list18

$str19$Iterating_over_all_Cyc_tests

public static final SubLString $str19$Iterating_over_all_Cyc_tests

$sym20$PROGRESS_CDOLIST

public static final SubLSymbol $sym20$PROGRESS_CDOLIST

$sym21$_CYC_TEST_BY_NAME_

public static final SubLSymbol $sym21$_CYC_TEST_BY_NAME_

$int22$212

public static final SubLInteger $int22$212

$sym23$_CYC_TEST_BY_DWIMMED_NAME_

public static final SubLSymbol $sym23$_CYC_TEST_BY_DWIMMED_NAME_

$str24$A_Cyc_test_named__a_already_exist

public static final SubLString $str24$A_Cyc_test_named__a_already_exist

$sym25$REMOVAL_MODULE_TEST_P

public static final SubLSymbol $sym25$REMOVAL_MODULE_TEST_P

$sym26$REMOVAL_MODULE_TEST_PREDICATE

public static final SubLSymbol $sym26$REMOVAL_MODULE_TEST_PREDICATE

$sym27$REMOVAL_MODULE_COST_TEST_P

public static final SubLSymbol $sym27$REMOVAL_MODULE_COST_TEST_P

$sym28$REMOVAL_MODULE_COST_TEST_PREDICATE

public static final SubLSymbol $sym28$REMOVAL_MODULE_COST_TEST_PREDICATE

$sym29$CYC_TEST

public static final SubLSymbol $sym29$CYC_TEST

$sym30$CYC_TEST_P

public static final SubLSymbol $sym30$CYC_TEST_P

$list31

public static final SubLList $list31

$list32

public static final SubLList $list32

$list33

public static final SubLList $list33

$list34

public static final SubLList $list34

$sym35$PRINT_CYC_TEST

public static final SubLSymbol $sym35$PRINT_CYC_TEST

$sym36$CYC_TEST_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym36$CYC_TEST_PRINT_FUNCTION_TRAMPOLINE

$sym37$CT_FILE

public static final SubLSymbol $sym37$CT_FILE

$sym38$_CSETF_CT_FILE

public static final SubLSymbol $sym38$_CSETF_CT_FILE

$sym39$CT_GUTS

public static final SubLSymbol $sym39$CT_GUTS

$sym40$_CSETF_CT_GUTS

public static final SubLSymbol $sym40$_CSETF_CT_GUTS

$kw41$FILE

public static final SubLSymbol $kw41$FILE

$kw42$GUTS

public static final SubLSymbol $kw42$GUTS

$str43$Invalid_slot__S_for_construction_

public static final SubLString $str43$Invalid_slot__S_for_construction_

$str44$__CYC_TEST__a__a_

public static final SubLString $str44$__CYC_TEST__a__a_

$str45$__CYC_TEST__a_

public static final SubLString $str45$__CYC_TEST__a_

$sym46$STRINGP

public static final SubLSymbol $sym46$STRINGP

$sym47$CYC_TEST_GUTS_P

public static final SubLSymbol $sym47$CYC_TEST_GUTS_P

$str48$_s_is_not_a_CYC_TEST_GUTS_P

public static final SubLString $str48$_s_is_not_a_CYC_TEST_GUTS_P

$sym49$GENERIC_TEST_CASE_TABLE_P

public static final SubLSymbol $sym49$GENERIC_TEST_CASE_TABLE_P

$sym50$CYC_TEST_NAME

public static final SubLSymbol $sym50$CYC_TEST_NAME

$str51$Cyc_test_of_unexpected_type___s

public static final SubLString $str51$Cyc_test_of_unexpected_type___s

$kw52$TCT

public static final SubLSymbol $kw52$TCT

$kw53$IUT

public static final SubLSymbol $kw53$IUT

$kw54$RMT

public static final SubLSymbol $kw54$RMT

$kw55$RMCT

public static final SubLSymbol $kw55$RMCT

$kw56$TMT

public static final SubLSymbol $kw56$TMT

$kw57$ERT

public static final SubLSymbol $kw57$ERT

$kw58$IT

public static final SubLSymbol $kw58$IT

$kw59$KCT

public static final SubLSymbol $kw59$KCT

$kw60$TINY

public static final SubLSymbol $kw60$TINY

$kw61$BOTH

public static final SubLSymbol $kw61$BOTH

$kw62$FULL

public static final SubLSymbol $kw62$FULL

$sym63$CYC_TEST_TYPE_SPEC_P

public static final SubLSymbol $sym63$CYC_TEST_TYPE_SPEC_P

$sym64$CYC_TEST_WORKING_

public static final SubLSymbol $sym64$CYC_TEST_WORKING_

$sym65$NOT_EQ

public static final SubLSymbol $sym65$NOT_EQ

$sym66$CYC_TEST_TYPE

public static final SubLSymbol $sym66$CYC_TEST_TYPE

$sym67$FIND_CYC_TEST

public static final SubLSymbol $sym67$FIND_CYC_TEST

$list68

public static final SubLList $list68

$list69

public static final SubLList $list69

$kw70$VERBOSITY

public static final SubLSymbol $kw70$VERBOSITY

$kw71$TERSE

public static final SubLSymbol $kw71$TERSE

$kw72$BROWSABLE_

public static final SubLSymbol $kw72$BROWSABLE_

$kw73$BLOCK_

public static final SubLSymbol $kw73$BLOCK_

$kw74$OUTPUT_FORMAT

public static final SubLSymbol $kw74$OUTPUT_FORMAT

$kw75$STREAM

public static final SubLSymbol $kw75$STREAM

$sym76$_STANDARD_OUTPUT_

public static final SubLSymbol $sym76$_STANDARD_OUTPUT_

$kw77$RUN_TINY_KB_TESTS_IN_FULL_KB_

public static final SubLSymbol $kw77$RUN_TINY_KB_TESTS_IN_FULL_KB_

$sym78$_RUN_TINY_KB_TESTS_IN_FULL_KB__

public static final SubLSymbol $sym78$_RUN_TINY_KB_TESTS_IN_FULL_KB__

$sym79$RUN_CYC_TEST_INT

public static final SubLSymbol $sym79$RUN_CYC_TEST_INT

$list80

public static final SubLList $list80

$list81

public static final SubLList $list81

$kw82$VERBOSE

public static final SubLSymbol $kw82$VERBOSE

$sym83$RUN_CYC_TEST

public static final SubLSymbol $sym83$RUN_CYC_TEST

$sym84$CYC_TEST_VERBOSITY_LEVEL_P

public static final SubLSymbol $sym84$CYC_TEST_VERBOSITY_LEVEL_P

$sym85$BOOLEANP

public static final SubLSymbol $sym85$BOOLEANP

$sym86$CYC_TEST_OUTPUT_FORMAT_P

public static final SubLSymbol $sym86$CYC_TEST_OUTPUT_FORMAT_P

$sym87$STREAMP

public static final SubLSymbol $sym87$STREAMP

$list88

public static final SubLList $list88

$list89

public static final SubLList $list89

$kw90$NTHREADS

public static final SubLSymbol $kw90$NTHREADS

$kw91$NTIMES

public static final SubLSymbol $kw91$NTIMES

$sym92$RUN_CYC_TEST_PARALLEL_INT

public static final SubLSymbol $sym92$RUN_CYC_TEST_PARALLEL_INT

$sym93$RUN_CYC_TEST_PARALLEL

public static final SubLSymbol $sym93$RUN_CYC_TEST_PARALLEL

$sym94$NON_NEGATIVE_INTEGER_P

public static final SubLSymbol $sym94$NON_NEGATIVE_INTEGER_P

$str95$Parallel_Test_Thread_for_

public static final SubLString $str95$Parallel_Test_Thread_for_

$str96$_No__

public static final SubLString $str96$_No__

$sym97$RUN_CYC_TEST_OBJECT_PARALLEL

public static final SubLSymbol $sym97$RUN_CYC_TEST_OBJECT_PARALLEL

$kw98$SILENT

public static final SubLSymbol $kw98$SILENT

$str99$Can_t_run_inference_tests_in_brow

public static final SubLString $str99$Can_t_run_inference_tests_in_brow

$str100$Can_t_run_inference_tests_in_bloc

public static final SubLString $str100$Can_t_run_inference_tests_in_bloc

$kw101$BACKWARD

public static final SubLSymbol $kw101$BACKWARD

$kw102$FORWARD

public static final SubLSymbol $kw102$FORWARD

$sym103$CATCH_ERROR_MESSAGE_HANDLER

public static final SubLSymbol $sym103$CATCH_ERROR_MESSAGE_HANDLER

$str104$Unexpected_testing_direction____S

public static final SubLString $str104$Unexpected_testing_direction____S

$kw105$ERROR

public static final SubLSymbol $kw105$ERROR

$str106$Can_t_run_removal_module_cost_tes

public static final SubLString $str106$Can_t_run_removal_module_cost_tes

$str107$Can_t_run_removal_module_cost_tes

public static final SubLString $str107$Can_t_run_removal_module_cost_tes

$str108$Can_t_run_evaluatable_relation_te

public static final SubLString $str108$Can_t_run_evaluatable_relation_te

$str109$Can_t_run_test_case_tables_in_bro

public static final SubLString $str109$Can_t_run_test_case_tables_in_bro

$str110$Can_t_run_test_case_tables_in_blo

public static final SubLString $str110$Can_t_run_test_case_tables_in_blo

$kw111$POST_BUILD

public static final SubLSymbol $kw111$POST_BUILD

$int112$514

public static final SubLInteger $int112$514

$sym113$CFASL_INPUT_CYC_TEST

public static final SubLSymbol $sym113$CFASL_INPUT_CYC_TEST

$sym114$CFASL_OUTPUT_OBJECT_CYC_TEST_METHOD

public static final SubLSymbol $sym114$CFASL_OUTPUT_OBJECT_CYC_TEST_METHOD

$sym115$CYC_TEST_RESULT_P

public static final SubLSymbol $sym115$CYC_TEST_RESULT_P

$sym116$NON_NEGATIVE_NUMBER_P

public static final SubLSymbol $sym116$NON_NEGATIVE_NUMBER_P

$sym117$CYC_TEST_RUN_P

public static final SubLSymbol $sym117$CYC_TEST_RUN_P

$list118

public static final SubLList $list118

$kw119$NOT_RUN

public static final SubLSymbol $kw119$NOT_RUN

$kw120$FAILURE

public static final SubLSymbol $kw120$FAILURE

$kw121$SUCCESS

public static final SubLSymbol $kw121$SUCCESS

$str122$___S_____S

public static final SubLString $str122$___S_____S

$str123$_S__S__S__

public static final SubLString $str123$_S__S__S__

$str124$Unknown_output_format__A

public static final SubLString $str124$Unknown_output_format__A

$str125$_

public static final SubLString $str125$_

$kw126$WITH_OWNER

public static final SubLSymbol $kw126$WITH_OWNER

$str127$Unknown_output_format_

public static final SubLString $str127$Unknown_output_format_

$sym128$_CYC_TEST_FILES_

public static final SubLSymbol $sym128$_CYC_TEST_FILES_

$list129

public static final SubLList $list129

$sym130$CDOLIST

public static final SubLSymbol $sym130$CDOLIST

$list131

public static final SubLList $list131

$list132

public static final SubLList $list132

$str133$Iterating_over_all_test_files

public static final SubLString $str133$Iterating_over_all_test_files

$list134

public static final SubLList $list134

$sym135$CYC_TEST_FILE

public static final SubLSymbol $sym135$CYC_TEST_FILE

$sym136$CYC_TEST_FILE_P

public static final SubLSymbol $sym136$CYC_TEST_FILE_P

$list137

public static final SubLList $list137

$list138

public static final SubLList $list138

$list139

public static final SubLList $list139

$list140

public static final SubLList $list140

$sym141$PRINT_CYC_TEST_FILE

public static final SubLSymbol $sym141$PRINT_CYC_TEST_FILE

$sym142$CYC_TEST_FILE_PRINT_FUNCTION_TRAMPOLINE

public static final SubLSymbol $sym142$CYC_TEST_FILE_PRINT_FUNCTION_TRAMPOLINE

$sym143$CTF_FILENAME

public static final SubLSymbol $sym143$CTF_FILENAME

$sym144$_CSETF_CTF_FILENAME

public static final SubLSymbol $sym144$_CSETF_CTF_FILENAME

$sym145$CTF_KB

public static final SubLSymbol $sym145$CTF_KB

$sym146$_CSETF_CTF_KB

public static final SubLSymbol $sym146$_CSETF_CTF_KB

$kw147$FILENAME

public static final SubLSymbol $kw147$FILENAME

$kw148$KB

public static final SubLSymbol $kw148$KB

$str149$__CTF__a_

public static final SubLString $str149$__CTF__a_

$sym150$CYC_TEST_KB_P

public static final SubLSymbol $sym150$CYC_TEST_KB_P

$sym151$_MOST_RECENT_CYC_TEST_RUNS_

public static final SubLSymbol $sym151$_MOST_RECENT_CYC_TEST_RUNS_

$sym152$_MOST_RECENT_CYC_TEST_FILE_LOAD_FAILURES_

public static final SubLSymbol $sym152$_MOST_RECENT_CYC_TEST_FILE_LOAD_FAILURES_

$sym153$FAILING_CYC_TEST_RUN_P

public static final SubLSymbol $sym153$FAILING_CYC_TEST_RUN_P

$sym154$CYC_TEST_RUN_CYC_TEST

public static final SubLSymbol $sym154$CYC_TEST_RUN_CYC_TEST

$list155

public static final SubLList $list155

$list156

public static final SubLList $list156

$kw157$STOP_AT_FIRST_FAILURE_

public static final SubLSymbol $kw157$STOP_AT_FIRST_FAILURE_

$kw158$RUN_TEST_CASE_TABLES_

public static final SubLSymbol $kw158$RUN_TEST_CASE_TABLES_

$kw159$RETURN_TEST_RUNS_

public static final SubLSymbol $kw159$RETURN_TEST_RUNS_

$kw160$TYPE

public static final SubLSymbol $kw160$TYPE

$kw161$RUN_NON_WORKING_TESTS

public static final SubLSymbol $kw161$RUN_NON_WORKING_TESTS

$sym162$RUN_ALL_CYC_TESTS_INT

public static final SubLSymbol $sym162$RUN_ALL_CYC_TESTS_INT

$list163

public static final SubLList $list163

$list164

public static final SubLList $list164

$sym165$RUN_ALL_LOADED_CYC_TESTS

public static final SubLSymbol $sym165$RUN_ALL_LOADED_CYC_TESTS

$sym166$QUOTE

public static final SubLSymbol $sym166$QUOTE

$list167

public static final SubLList $list167

$list168

public static final SubLList $list168

$sym169$DECLARE_CYC_TEST_FILE_INT

public static final SubLSymbol $sym169$DECLARE_CYC_TEST_FILE_INT

$list170

public static final SubLList $list170

$sym171$FIND_CYC_TESTS_BY_NAME

public static final SubLSymbol $sym171$FIND_CYC_TESTS_BY_NAME

$str172$could_not_load__a_lisp_from__s

public static final SubLString $str172$could_not_load__a_lisp_from__s

$str173$testdcl

public static final SubLString $str173$testdcl

$str174$Loading_test_files

public static final SubLString $str174$Loading_test_files

$str175$_lisp

public static final SubLString $str175$_lisp

$sym176$DECLARE_CYC_TEST_FILE

public static final SubLSymbol $sym176$DECLARE_CYC_TEST_FILE

$str177$___HARNESS_ERROR___A__

public static final SubLString $str177$___HARNESS_ERROR___A__

$kw178$HARNESS_ERROR

public static final SubLSymbol $kw178$HARNESS_ERROR

$kw179$INVALID

public static final SubLSymbol $kw179$INVALID

$list180

public static final SubLList $list180

$kw181$ONLY

public static final SubLSymbol $kw181$ONLY

$str182$Unexpected_value__s_for__run_non_

public static final SubLString $str182$Unexpected_value__s_for__run_non_

$str183$_Running_a_specified_list_of_test

public static final SubLString $str183$_Running_a_specified_list_of_test

$str184$_Running__a_file_P_of_tests_

public static final SubLString $str184$_Running__a_file_P_of_tests_

$str185$in_the__a_KB__KB__a___System__a_S

public static final SubLString $str185$in_the__a_KB__KB__a___System__a_S

$str186$Tiny

public static final SubLString $str186$Tiny

$str187$Full

public static final SubLString $str187$Full

$str188$__No_tests_were_run___

public static final SubLString $str188$__No_tests_were_run___

$str189$__NOTE__The_following_cyc_tests_w

public static final SubLString $str189$__NOTE__The_following_cyc_tests_w

$str190$___Tests_finished_at__a_Total_tim

public static final SubLString $str190$___Tests_finished_at__a_Total_tim

$sym191$CYC_TEST_RUN_RESULT

public static final SubLSymbol $sym191$CYC_TEST_RUN_RESULT

$str192$Overall_result___s__

public static final SubLString $str192$Overall_result___s__

$str193$__Failing_regression_tests___

public static final SubLString $str193$__Failing_regression_tests___

$str194$None____

public static final SubLString $str194$None____

$str195$__Succeeding_regression_tests___

public static final SubLString $str195$__Succeeding_regression_tests___

$sym196$SUCCEEDING_CYC_TEST_RUN_P

public static final SubLSymbol $sym196$SUCCEEDING_CYC_TEST_RUN_P

$str197$None____

public static final SubLString $str197$None____

$sym198$IGNORED_CYC_TEST_RUN_P

public static final SubLSymbol $sym198$IGNORED_CYC_TEST_RUN_P

$str199$None_

public static final SubLString $str199$None_

$kw200$NON_REGRESSION_SUCCESS

public static final SubLSymbol $kw200$NON_REGRESSION_SUCCESS

$kw201$NON_REGRESSION_FAILURE

public static final SubLSymbol $kw201$NON_REGRESSION_FAILURE

$str202$__Failing_non_regression_tests___

public static final SubLString $str202$__Failing_non_regression_tests___

$str203$__Succeeding_non_regression_tests

public static final SubLString $str203$__Succeeding_non_regression_tests

$str204$_S__A__S__A

public static final SubLString $str204$_S__A__S__A

$str205$__A

public static final SubLString $str205$__A

$list206

public static final SubLList $list206
Method Detail

testing_real_time_pruningP

public static final SubLObject testing_real_time_pruningP()

cyc_tests

public static final SubLObject cyc_tests()

index_cyc_test_by_name

public static final SubLObject index_cyc_test_by_name(SubLObject ct,
                                                      SubLObject name)

index_all_cyc_tests_by_name

public static final SubLObject index_all_cyc_tests_by_name()

cyc_test_print_function_trampoline

public static final SubLObject cyc_test_print_function_trampoline(SubLObject object,
                                                                  SubLObject stream)

ct_guts

public static final SubLObject ct_guts(SubLObject object)

_csetf_ct_file

public static final SubLObject _csetf_ct_file(SubLObject object,
                                              SubLObject value)

_csetf_ct_guts

public static final SubLObject _csetf_ct_guts(SubLObject object,
                                              SubLObject value)

make_cyc_test

public static final SubLObject make_cyc_test(SubLObject arglist)

new_cyc_test

public static final SubLObject new_cyc_test(SubLObject file,
                                            SubLObject guts)

cyc_test_guts

public static final SubLObject cyc_test_guts(SubLObject ct)

cyc_test_type

public static final SubLObject cyc_test_type(SubLObject ct)

cyc_test_type_permissive

public static final SubLObject cyc_test_type_permissive(SubLObject ct)

cyc_test_guts_type

public static final SubLObject cyc_test_guts_type(SubLObject guts)

cyc_test_name

public static final SubLObject cyc_test_name(SubLObject ct)
Names are assumed to be unique, even across type


find_cyc_test_by_exact_name

public static final SubLObject find_cyc_test_by_exact_name(SubLObject name)
Returns:
cyc-test-run-p

cyc_test_file_print_function_trampoline

public static final SubLObject cyc_test_file_print_function_trampoline(SubLObject object,
                                                                       SubLObject stream)

declare_cyc_testing_file

public static final SubLObject declare_cyc_testing_file()

init_cyc_testing_file

public static final SubLObject init_cyc_testing_file()

setup_cyc_testing_file

public static final SubLObject setup_cyc_testing_file()

declareFunctions

public void declareFunctions()
Description copied from interface: SubLFile
Declares the mapping between functions and symbols for all named functions defined in the file. Like CRTL define.


initializeVariables

public void initializeVariables()
Description copied from interface: SubLFile
Initializes all global variables and private internal variables for constants defined in the file. Like CRTL init.


runTopLevelForms

public void runTopLevelForms()
Description copied from interface: SubLFile
Runs all top-level forms in order. Like CRTL setup.