Searched refs:timeout (Results 1 - 25 of 58) sorted by relevance

123

/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlTimeout.sig7 val timeout : real -> ('a -> 'b) -> 'a -> 'b value
H A DsmlTimeout.sml44 fun timeout t f x = timeLimit (Time.fromReal t) f x function
49 SOME (fst (timeout t (TC_OFF tac) g))
57 timeout 5.0 loop ();
/seL4-l4v-master/seL4/src/drivers/timer/
H A Dam335x-timer.c97 int timeout; local
108 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--);
110 if (!timeout) {
136 int timeout; local
143 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--)
145 if (!timeout) {
[all...]
/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/
H A DTimeout.sml1 (* Title: Pure/Concurrent/timeout.ML
4 Execution with (relative) timeout.
18 fun apply timeout f x =
25 Event_Timer.request (start + timeout)
/seL4-l4v-master/HOL4/examples/AI_tasks/TPTP/
H A Dvampire.sh9 timeout 60 ./vampire_v4.2.2_noz3 --time_limit 60 --proof tptp --output_axiom_names on $1 | grep "file[(]'\| SZS" > $OUT1
H A Dvampire_casc.sh9 timeout 60 ./vampire_v4.2.2_noz3 --mode casc --time_limit 60 --proof tptp --output_axiom_names on $1 | grep "file[(]'\| SZS" > $OUT1
H A Deprover.sh9 timeout 60 ./eprover_v2.4 -s --auto --cpu-limit=60 --tptp3-in \
H A Deprover_schedule.sh9 timeout 60 ./eprover_v2.4 -s --cpu-limit=60 --auto-schedule --tptp3-in \
/seL4-l4v-master/isabelle/src/Pure/Concurrent/
H A Dmailbox.scala24 def receive(timeout: Option[Time] = None): List[A] =
25 (mailbox.timed_access(_ => timeout.map(t => Time.now() + t),
H A Dsynchronized.scala48 val timeout = (t - Time.now()).ms
49 if (timeout > 0L) {
50 wait(timeout)
/seL4-l4v-master/l4v/isabelle/src/Pure/Concurrent/
H A Dmailbox.scala24 def receive(timeout: Option[Time] = None): List[A] =
25 (mailbox.timed_access(_ => timeout.map(t => Time.now() + t),
H A Dsynchronized.scala48 val timeout = (t - Time.now()).ms
49 if (timeout > 0L) {
50 wait(timeout)
/seL4-l4v-master/HOL4/src/holyhammer/provers/
H A Dvampire.sh11 timeout $1 ./vampire --time_limit $1 --proof tptp --output_axiom_names on $IN 2> $ERROR \
H A Dz3.sh12 timeout $1 ./z3 -tptp DISPLAY_UNSAT_CORE=true ELIM_QUANTIFIERS=true PULL_NESTED_QUANTIFIERS=true \
H A Deprover.sh13 timeout $1 ./eprover -s --cpu-limit=$1 --auto-schedule --tptp3-in \
/seL4-l4v-master/isabelle/src/Pure/System/
H A Dprocess_result.scala13 timeout: Boolean = false,
21 def was_timeout: Process_Result = copy(rc = 1, timeout = true)
/seL4-l4v-master/isabelle/src/HOL/Mirabelle/lib/Tools/
H A Dmirabelle25 timeout="$MIRABELLE_TIMEOUT"
36 echo " -t TIMEOUT timeout for each action in seconds (default $timeout)"
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A Dprocess_result.scala13 timeout: Boolean = false,
21 def was_timeout: Process_Result = copy(rc = 1, timeout = true)
/seL4-l4v-master/l4v/isabelle/src/HOL/Mirabelle/lib/Tools/
H A Dmirabelle25 timeout="$MIRABELLE_TIMEOUT"
36 echo " -t TIMEOUT timeout for each action in seconds (default $timeout)"
/seL4-l4v-master/HOL4/src/integer/testing/
H A Dtcooper.c25 int timeout = argc > 3 ? atoi(argv[3]) : 5; local
28 fprintf(stderr, "Usage: %s dp-program logfile [timeout]\n", argv[0]);
32 if (timeout <= 0) {
85 tv.tv_sec = timeout;
/seL4-l4v-master/isabelle/src/HOL/Mirabelle/lib/scripts/
H A Dmirabelle.pl17 my $timeout = $ENV{'MIRABELLE_TIMEOUT'};
87 Config.put_global Mirabelle.timeout $timeout #>
/seL4-l4v-master/l4v/isabelle/src/HOL/Mirabelle/lib/scripts/
H A Dmirabelle.pl17 my $timeout = $ENV{'MIRABELLE_TIMEOUT'};
87 Config.put_global Mirabelle.timeout $timeout #>
/seL4-l4v-master/l4v/misc/regression/
H A Dtestspec.py28 self.timeout = 0
34 'timeout': lambda self, timeout: timeout,
39 __slots__ = 'base_dir', 'cwd', 'timeout', 'cpu_timeout', 'depends'
51 """Parse attributes such as "timeout" in the given XML tag,
62 parse_attr("timeout", "timeout", int)
63 parse_attr("cpu_timeout", "cpu-timeout", float)
72 'name', 'command', 'cwd', 'timeout', 'cpu_timeou
[all...]
/seL4-l4v-master/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_atp98 $Agent->timeout($Options{'t'} + 15);
/seL4-l4v-master/l4v/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_atp98 $Agent->timeout($Options{'t'} + 15);

Completed in 147 milliseconds

123