Searched refs:checked (Results 1 - 25 of 33) sorted by relevance

12

/barrelfish-master/lib/cxx/unwind/
H A Dlibunwind.cpp290 static bool checked = false; local
292 if (!checked) {
294 checked = true;
302 static bool checked = false; local
304 if (!checked) {
306 checked = true;
314 static bool checked = false; local
316 if (!checked) {
318 checked = true;
/barrelfish-master/lib/libc/nameser/
H A Dns_name.c426 int n, len, checked, l; local
429 checked = 0;
452 checked += l + 1;
472 checked += 2;
478 if (checked >= eom - msg) {
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dproject.pl52 % type-checked. project(Structs, K, Args) unifies Args with the
/barrelfish-master/usr/eclipseclp/documents/internal/project/
H A Dorganisation.tex71 It consists of several sub-modules which can be checked out
184 \item checked out from cvs
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsstyle.tex95 is checked with the line coverage profiler.
H A Dumsmemory.tex168 (this can be checked with the debugger or the profiling facility).
207 In this case it should be checked whether the nondeterminism was intended.
/barrelfish-master/doc/015-disk-driver-arch/
H A Ddesign.tex23 tables after they are checked, so the all these areas would have to be copied
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dchr_doc.pl376 * try_label: A label_with declaration is checked.
490 * try_label: A label_with declaration is checked.
H A Dconjunto.pl146 checked and the constraint is delayed. It is activated as soos as the
586 their domain bounds are checked and the constraint is delayed. It is
H A Dchr.pl46 % The guard (Goal) is simply called and it's checked that there are no
232 % this list is checked
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dspell.pl222 % IncorrectFunctor is checked to be longer than 4 characters. This is
H A Devents.pl110 atom(CM), % The context module may not be checked yet,
146 atom(CM), % The context module is not checked yet,
/barrelfish-master/lib/openssl-1.0.0d/
H A Dmakevms.com305 $! Rules are checked sequentially. If a rule disables an algorithm, it will
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dtkdebug.tex321 checked at each debug port. For our purpose, we enter the following:
377 4. So perhaps countries 3 and 4 are not checked by
H A Dconstimpl.tex415 the instantiations will be checked for satisfying the constraint.
H A Drepairtut.tex626 is checked by looking at the conflict constraints. If there are no
H A Dpropiachr.tex523 is checked to determine whether the rule can fire.
H A Dhybrid.tex911 The solution can be checked for feasibility against the remaining
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextchr.tex515 When executing a guard\index{guard}, it is checked that no global variables
527 checked if there is an identical one already in the store. If there
882 \item \verb/try_label/: A label\_with declaration is checked.
H A Deplex.tex540 First, the constraints are normalised and checked for linearity.
964 immediately, or they can be checked for violation after the solver solves
990 the problem matrix at all (and are not checked for violations). This is
H A Drepair.tex73 in a domain is checked by communicating with a different solver that
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex1079 assignment, i.e. it is checked whether they would be satisfied
1157 is checked by looking at the conflict constraints. If there are no
1263 \item As in the random walk example, constraint satisfaction is checked
1666 constraints), and then this variable is checked to make sure that it is
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Ddbi.tex451 are checked to make sure exactly one row is processed per statement.
H A Dembremoteproto.tex252 subsequent connections (for ec_rpc and any peer queues) are checked to
1458 connection. The remote side sends a pass-term which is checked to see it is
/barrelfish-master/usr/eclipseclp/documents/applications/
H A Dtutorial.tex1843 A normal debugging session consists of a sequence of leap, skip and creep operations to reach an interesting part of the program and then a more detailed step-by step analysis of what is happening. It is pointless and very time consuming to single-step through a part of the program that we have already checked, but we have to be careful not to skip over the interesting part of the program.
1869 \item {\it Correctness}\index{correctness} of a program can only be checked if we have obtained the expected results of a test in an independent way, either by hand or by a trusted program, or simply by re-using benchmark sets from a third party.
1873 It is important to realize the limitations of the tests that we perform. If we have never checked that the solutions produced by a regression test are correct, then they will be most likely {\it not} correct. We only know that they are still the same solutions that the program has found before.
1954 \item The test set(s) should exercise 100 percent of the final code. Conformity is checked with the line coverage profiler.

Completed in 205 milliseconds

12