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

12

/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/
H A Dhardware.c83 int timeout; local
90 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--)
92 if (!timeout) {
/seL4-l4v-10.1.1/isabelle/src/Pure/Concurrent/
H A Dmailbox.scala24 def receive(timeout: Option[Time]): 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-10.1.1/l4v/isabelle/src/Pure/Concurrent/
H A Dmailbox.scala24 def receive(timeout: Option[Time]): 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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/isabelle/src/HOL/Mirabelle/lib/scripts/
H A Dmirabelle.pl17 my $timeout = $ENV{'MIRABELLE_TIMEOUT'};
87 Config.put_global Mirabelle.timeout $timeout #>
/seL4-l4v-10.1.1/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-10.1.1/l4v/misc/regression/
H A Dtestspec.py30 self.timeout = 0
36 'timeout': lambda self, timeout: timeout,
41 __slots__ = 'base_dir', 'cwd', 'timeout', 'cpu_timeout', 'depends'
52 """Parse attributes such as "timeout" in the given XML tag,
62 parse_attr("timeout", "timeout", int)
63 parse_attr("cpu_timeout", "cpu-timeout", float)
71 'name', 'command', 'cwd', 'timeout', 'cpu_timeou
[all...]
H A Drun_tests.py123 TIMEOUT, # Wall timeout
124 CPU_TIMEOUT, # CPU timeout
211 # Setup a timer for the timeout.
217 scaled_test_timeout = test.timeout * timeout_scale
241 # Inactivity timeout
246 # Also set a CPU timeout. We poll the cpu usage periodically.
307 # and hence we won't interpret the result as a timeout.
324 # run a heuristic script for getting some output on a timeout
435 parser.add_argument("--stuck-timeout", type=int, default=600, metavar='N',
436 help="timeout test
[all...]
/seL4-l4v-10.1.1/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_atp98 $Agent->timeout($Options{'t'} + 15);
/seL4-l4v-10.1.1/l4v/misc/benchmark-isabelle/
H A Dbenchmark.py34 ['-r', '-q', '-f', '-e', 'use_thy \"%s\";' % filename, "Benchmark"], timeout=None)
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Tools/ATP/scripts/
H A Dremote_atp98 $Agent->timeout($Options{'t'} + 15);
/seL4-l4v-10.1.1/graph-refine/
H A Dsolver.py58 def __init__ (self, name, fast, args, timeout):
61 self.timeout = timeout
71 self.fast, self.args, self.timeout)
88 timeout = 6000
90 timeout = 30
91 return SolverImpl (name, fast, args, timeout)
651 def preexec (timeout):
657 if timeout != None:
659 (timeout, timeou
[all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/
H A Dlisp_semanticsScript.sml180 (* Subtle point: with the semantics in which clock timeout returns NONE *)
182 (* with the semantics in which timeout returns an S-expression it is *)
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dbuild.scala113 sessions_structure(name2).timeout compare sessions_structure(name1).timeout match {
324 if (info.timeout > Time.zero)
325 Some(Event_Timer.request(Time.now() + info.timeout) { terminate })
576 if (process_result.timeout) build_log.error("Timeout") else build_log,
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/
H A Dbuild.scala113 sessions_structure(name2).timeout compare sessions_structure(name1).timeout match {
324 if (info.timeout > Time.zero)
325 Some(Event_Timer.request(Time.now() + info.timeout) { terminate })
576 if (process_result.timeout) build_log.error("Timeout") else build_log,
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DWindows.sml141 val timeout : status value
427 (* The timeout and retry count apply only in the case of
428 a busy result. The Windows call takes a timeout parameter
630 val timeout = getConst 34 value

Completed in 216 milliseconds

12