Searched refs:TIMEOUT (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/lib/Tools/
H A Dtptp_isabelle12 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 Dtptp_isabelle_hot12 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 Dtptp_nitpick12 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 Dtptp_refute12 echo "Usage: isabelle $PRG TIMEOUT FILES"
23 TIMEOUT=$1
31 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_sledgehammer12 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 Dtptp_isabelle12 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 Dtptp_isabelle_hot12 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 Dtptp_nitpick12 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 Dtptp_refute12 echo "Usage: isabelle $PRG TIMEOUT FILES"
23 TIMEOUT=$1
31 ML {* ATP_Problem_Import.refute_tptp_file @{theory} ($TIMEOUT) \"$FILE\" *} end" \
H A Dtptp_sledgehammer12 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 Drun_tests.py123 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 Dmetis.sml24 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 Dmetis.sml24 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 DfmapExample.sml889 `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