/seL4-l4v-10.1.1/seL4/src/plat/am335x/machine/ |
H A D | hardware.c | 83 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 D | mailbox.scala | 24 def receive(timeout: Option[Time]): List[A] = 25 (mailbox.timed_access(_ => timeout.map(t => Time.now() + t),
|
H A D | synchronized.scala | 48 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 D | mailbox.scala | 24 def receive(timeout: Option[Time]): List[A] = 25 (mailbox.timed_access(_ => timeout.map(t => Time.now() + t),
|
H A D | synchronized.scala | 48 val timeout = (t - Time.now()).ms 49 if (timeout > 0L) { 50 wait(timeout)
|
/seL4-l4v-10.1.1/HOL4/src/holyhammer/provers/ |
H A D | vampire.sh | 11 timeout $1 ./vampire --time_limit $1 --proof tptp --output_axiom_names on $IN 2> $ERROR \
|
H A D | z3.sh | 12 timeout $1 ./z3 -tptp DISPLAY_UNSAT_CORE=true ELIM_QUANTIFIERS=true PULL_NESTED_QUANTIFIERS=true \
|
H A D | eprover.sh | 13 timeout $1 ./eprover -s --cpu-limit=$1 --auto-schedule --tptp3-in \
|
/seL4-l4v-10.1.1/isabelle/src/Pure/System/ |
H A D | process_result.scala | 13 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 D | mirabelle | 25 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 D | process_result.scala | 13 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 D | mirabelle | 25 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 D | tcooper.c | 25 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 D | mirabelle.pl | 17 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 D | mirabelle.pl | 17 my $timeout = $ENV{'MIRABELLE_TIMEOUT'}; 87 Config.put_global Mirabelle.timeout $timeout #>
|
/seL4-l4v-10.1.1/l4v/misc/regression/ |
H A D | testspec.py | 30 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 D | run_tests.py | 123 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 D | remote_atp | 98 $Agent->timeout($Options{'t'} + 15);
|
/seL4-l4v-10.1.1/l4v/misc/benchmark-isabelle/ |
H A D | benchmark.py | 34 ['-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 D | remote_atp | 98 $Agent->timeout($Options{'t'} + 15);
|
/seL4-l4v-10.1.1/graph-refine/ |
H A D | solver.py | 58 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 D | lisp_semanticsScript.sml | 180 (* 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 D | build.scala | 113 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 D | build.scala | 113 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 D | Windows.sml | 141 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
|