Searched refs:TIMEOUT (Results 1 - 14 of 14) sorted by relevance
/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/lib/Tools/ |
H A D | tptp_isabelle | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 15 echo " Each problem is allocated at most TIMEOUT seconds." 24 TIMEOUT=$1 32 ML {* ATP_Problem_Import.isabelle_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_isabelle_hot | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 15 echo " Each problem is allocated at most TIMEOUT seconds." 24 TIMEOUT=$1 32 ML {* ATP_Problem_Import.isabelle_hot_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_nitpick | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 15 echo " Each problem is allocated at most TIMEOUT seconds." 24 TIMEOUT=$1 32 ML {* ATP_Problem_Import.nitpick_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_refute | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 23 TIMEOUT=$1 31 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_sledgehammer | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 15 echo " Each problem is allocated at most TIMEOUT seconds." 24 TIMEOUT=$1 32 ML {* ATP_Problem_Import.sledgehammer_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/lib/Tools/ |
H A D | tptp_isabelle | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 15 echo " Each problem is allocated at most TIMEOUT seconds." 24 TIMEOUT=$1 32 ML {* ATP_Problem_Import.isabelle_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_isabelle_hot | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 15 echo " Each problem is allocated at most TIMEOUT seconds." 24 TIMEOUT=$1 32 ML {* ATP_Problem_Import.isabelle_hot_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_nitpick | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 15 echo " Each problem is allocated at most TIMEOUT seconds." 24 TIMEOUT=$1 32 ML {* ATP_Problem_Import.nitpick_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_refute | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 23 TIMEOUT=$1 31 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
H A D | tptp_sledgehammer | 12 echo "Usage: isabelle $PRG TIMEOUT FILES" 15 echo " Each problem is allocated at most TIMEOUT seconds." 24 TIMEOUT=$1 32 ML {* ATP_Problem_Import.sledgehammer_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
|
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | run_tests.py | 123 TIMEOUT, # Wall timeout 135 'TIMEOUT', 136 'TIMEOUT', 214 test_status[0] = TIMEOUT 308 if timer is not None and test_status[0] is not TIMEOUT: 314 if test_status[0] in [STUCK, TIMEOUT, CPU_TIMEOUT]: 668 elif info['status'] in (TIMEOUT, CPU_TIMEOUT):
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 24 val TIMEOUT : int option ref = ref NONE; value 77 (fn _ => fn n => TIMEOUT := n)}, 124 case !TIMEOUT of
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | metis.sml | 24 val TIMEOUT : int option ref = ref NONE; value 77 (fn _ => fn n => TIMEOUT := n)}, 124 case !TIMEOUT of
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/ |
H A D | fmapExample.sml | 889 `outcome = RESULT of state | ERROR of state | TIMEOUT of state`; 891 (* Some automatically proves theorems relating RESULT, TIMEOUT and ERROR *) 1304 TIMEOUT s -> TIMEOUT s 1337 TIMEOUT s -> TIMEOUT s 1351 (!f f1 f2 a. outcome_case f f1 f2 (TIMEOUT a) = f2 a)``, 1389 `(RUN 0 c s = TIMEOUT s) 1501 (* Corollary relating non-termination and TIMEOUT *) 1506 !n. ?s2. (RUN n c s1 = ERROR s2) \/ (RUN n c s1 = TIMEOUT s [all...] |
Completed in 129 milliseconds