Searched defs:checking (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dnegint.c11 static int checking(int a, short b, signed char c) function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.special/
H A Dunwindtest_ffi_call.cc11 static int checking(int a __UNUSED__, short b __UNUSED__, function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/empty_script/
H A Dselftest.sml29 fun checking () = function
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dlogic.tex

Completed in 71 milliseconds