Searched refs:test (Results 176 - 200 of 348) sorted by relevance

1234567891011>>

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dwinbasicio.cpp334 waitUntilOutputPossible(taskData); // canOutput will test the result and may update currentInBuffer.
427 int WinInOutStream::poll(TaskData *taskData, int test) argument
429 if (test & POLL_BIT_IN)
434 if (test & POLL_BIT_OUT)
586 // First test to see if we have input available.
616 // First test to see if we have input available.
669 // Takes a vector of io descriptors, a vector of bits to test
721 processes->ThreadExit(taskData); // TestAnyEvents may test for kill
1115 // Get the current position in the stream. This is used to test
1350 processes->ThreadExit(taskData); // TestAnyEvents may test fo
[all...]
/seL4-l4v-master/HOL4/examples/imperative/
H A Dnecec2010.sml26 As per HOL recommendations, other libraries required by the test case should be open at the front of the file befor any other commands.
64 The following provides a test of this definition.
H A DreflectOnFailure.sml142 that our test was flawed?
/seL4-l4v-master/HOL4/src/quotient/examples/
H A Dfinite_setScript.sml153 (* MEM test of membership of an element in a list *)
165 (* The membership function to test if an element is a member of a list *)
H A Dtactics.sml124 fun test f x = ( f x; x ); function
544 (mapfilter (SYM o (test ((pairf dest_var dest_var)
/seL4-l4v-master/HOL4/src/rational/
H A DfracLib.sml368 (* ---------- test cases ---------- *
377 * ---------- test cases ---------- *)
H A DratLib.sml190 (* ---------- test cases ---------- *
198 * ---------- test cases ---------- *)
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A DLTLScript.sml157 ; Same test as the transition-subset-p test above!
/seL4-l4v-master/HOL4/examples/bootstrap/
H A Dcodegen_proofsScript.sml185 \\ rw [] \\ Cases_on ���test��� \\ fs [c_test_def]
710 take_branch test args s = (Res b,s) ���
713 code_in t.pc (c_test test l4) t.instructions ���
719 Cases_on ���test��� \\ fs []
756 \\ rename [���take_branch test args s5���]
757 \\ Cases_on ���take_branch test args s5��� \\ fs []
779 \\ ���LENGTH (c_test test l4) = 4��� by (Cases_on ���test��� \\ fs [c_test_def])
/seL4-l4v-master/HOL4/src/AI/proof_search/
H A DpsMCTS.sml95 fun quant_status quant test tree pol =
99 test (#status (dfind cid tree)) handle NotFound => false
/seL4-l4v-master/l4v/tools/autocorres/tools/
H A Drelease.py120 parser.add_argument('-t', '--test', action='store_true', default=False,
394 # Run a test if requested.
395 if args.test:
/seL4-l4v-master/HOL4/examples/dev/sw/
H A DcpsScript.sml71 (* Used in the test expression of an if-then-else *)
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DcpsScript.sml71 (* Used in the test expression of an if-then-else *)
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DcpsScript.sml71 (* Used in the test expression of an if-then-else *)
/seL4-l4v-master/HOL4/examples/
H A Ddpll.sml237 (* test them here:
/seL4-l4v-master/HOL4/examples/hardware/hol88/computer/
H A Dcomputer_imp.ml177 % test field is 3 (ie. 'jump_knob'). This results in a change in the %
/seL4-l4v-master/HOL4/src/ring/examples/
H A Dtests.sml34 bigger test: 8 squares
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/
H A Dprotocol.tex42 protocol~\cite{needham-schroeder} has become a standard test case.
/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A Dcodegen_x64Lib.sml121 val code = ["test " ^ rd ^ ", " ^ f j]
H A Dcodegen_x86Lib.sml128 val code = ["test " ^ rd ^ ", " ^ f j]
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/
H A Dx86_decoderScript.sml524 val th = EVAL ``x86_decode(bytebits "F7C638000000")``; (* test esi,56 *)
525 val th = EVAL ``x86_decode(bytebits "F70337020000")``; (* test dword [ebx],567 *)
526 val th = EVAL ``x86_decode(bytebits "850B")``; (* test [ebx], ecx *)
575 (* test whether decoding works, if this is slow then something's wrong *)
/seL4-l4v-master/HOL4/examples/machine-code/x64_compiler/
H A Dx64_codegen_x64Lib.sml122 val code = ["test " ^ rd ^ ", " ^ f j]
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/
H A Dprotocol.tex42 protocol~\cite{needham-schroeder} has become a standard test case.
/seL4-l4v-master/HOL4/tools/Holmake/mosml/
H A DBuildCommand.sml75 location pragmas. Must test for existence, for bootstrapping.
/seL4-l4v-master/HOL4/examples/algebra/lib/
H A DprimesScript.sml260 (* Primality test by seeking a factor exceeding (SQRT n). *)

Completed in 354 milliseconds

1234567891011>>