Searched refs:result (Results 1 - 25 of 800) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dparse_prepost.c19 int c, result; local
21 result = 1;
23 result = result * c;
26 return result;
H A Dparse_simple_struct.c19 struct s result; local
20 result.i = j;
21 result.c = 0;
22 result.ptr = 0;
23 return result;
/seL4-l4v-10.1.1/l4v/tools/autocorres/doc/quickstart/
H A Dmult_by_add.c17 unsigned result = 0; local
19 result += b;
22 return result;
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dmult_by_add.c13 unsigned result = 0; local
15 result += b;
18 return result;
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dlibtool-ldflags33 result=
52 result="$result -Xcompiler"
74 # will result in the same number of arguments being passed to
102 result="$result $quoted_arg"
106 echo "$result"
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DExn.sig14 datatype 'a result = Res of 'a | Exn of exn
15 val get_res: 'a result -> 'a option
16 val get_exn: 'a result -> exn option
17 val capture: ('a -> 'b) -> 'a -> 'b result
18 val release: 'a result -> 'a
19 val map_res: ('a -> 'b) -> 'a result -> 'b result
20 val maps_res: ('a -> 'b result) -> 'a result -> 'b result
[all...]
/seL4-l4v-10.1.1/HOL4/src/Boolify/test/
H A DMakefile9 all: result diff
12 rm -f result
15 @grep -v 'HOL.* (built \|^\(- \)*runtime: \|User: ' <result.ok >$(TMPFILE1)
16 @grep -v 'HOL.* (built \|^\(- \)*runtime: \|User: ' <result >$(TMPFILE2)
19 result: test.sml ../src/Encode.uo
20 rm -f result
21 $(HOL) <test.sml 2>&1 | tee result
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHoldep_tokens.sig5 type result = (string,int) Binarymap.dict type
6 val file_deps : string -> result
7 val stream_deps : string * TextIO.instream -> result
8 val reader_deps : string * (unit -> char option) -> result
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/
H A Dwrapper.exp38 set result [build_wrapper $filename]
40 if { $result != "" } {
41 set gluefile [lindex $result 0]
42 set wrap_flags [lindex $result 1]
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/model/
H A Dsmp.h27 void *result; local
28 asm ("movl %[stack_address], %[result]" : [result] "=r"(result) : [stack_address] "r"(&stack));
29 return result;
/seL4-l4v-10.1.1/HOL4/tools/quote-filter/
H A Dselftest.sml5 val result = system "diff temp-output desired-output" value
7 val _ = if isSuccess result then exit success else exit failure
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dstret_large2.c39 struct_116byte result; local
41 result.a = b0.a + b1.a + b2.a + b3.a;
42 result.b = b0.b + b1.b + b2.b + b3.b;
43 result.c = b0.c + b1.c + b2.c + b3.c;
44 result.d = b0.d + b1.d + b2.d + b3.d;
45 result.e = b0.e + b1.e + b2.e + b3.e;
46 result.f = b0.f + b1.f + b2.f + b3.f;
47 result.g = b0.g + b1.g + b2.g + b3.g;
48 result.h = b0.h + b1.h + b2.h + b3.h;
49 result
[all...]
H A Dfloat1.c30 value_type result[2]; local
44 memset(result[1].c, CANARY, sizeof (double));
46 ffi_call(&cif, FFI_FN(dblit), &result[0].d, values);
50 CHECK(result[0].d - dblit(f) < DBL_EPSILON);
54 CHECK(result[1].c[i] == CANARY);
H A Dfloat4.c32 value_type result[2]; local
46 memset(result[1].c, CANARY, sizeof (double));
48 ffi_call(&cif, FFI_FN(dblit), &result[0].d, values);
51 any arithmetic, we should get the original result back, and hence an
54 CHECK(result[0].d == dblit(d));
58 CHECK(result[1].c[i] == CANARY);
H A Dstret_medium.c30 struct_72byte result; local
32 result.a = b0.a + b1.a + b2.a + b3.a;
33 result.b = b0.b + b1.b + b2.b + b3.b;
34 result.c = b0.c + b1.c + b2.c + b3.c;
35 result.d = b0.d + b1.d + b2.d + b3.d;
36 result.e = b0.e + b1.e + b2.e + b3.e;
37 result.f = b0.f + b1.f + b2.f + b3.f;
38 result.g = b0.g + b1.g + b2.g + b3.g;
39 result.h = b0.h + b1.h + b2.h + b3.h;
40 result
[all...]
H A Dstret_medium2.c31 struct_72byte result; local
33 result.a = b0.a + b1.a + b2.a + b3.a;
34 result.b = b0.b + b1.b + b2.b + b3.b;
35 result.c = b0.c + b1.c + b2.c + b3.c;
36 result.d = b0.d + b1.d + b2.d + b3.d;
37 result.e = b0.e + b1.e + b2.e + b3.e;
38 result.f = b0.f + b1.f + b2.f + b3.f;
39 result.g = b0.g + b1.g + b2.g + b3.g;
40 result.h = b0.h + b1.h + b2.h + b3.h;
41 result
[all...]
H A Dstret_large.c38 struct_108byte result; local
40 result.a = b0.a + b1.a + b2.a + b3.a;
41 result.b = b0.b + b1.b + b2.b + b3.b;
42 result.c = b0.c + b1.c + b2.c + b3.c;
43 result.d = b0.d + b1.d + b2.d + b3.d;
44 result.e = b0.e + b1.e + b2.e + b3.e;
45 result.f = b0.f + b1.f + b2.f + b3.f;
46 result.g = b0.g + b1.g + b2.g + b3.g;
47 result.h = b0.h + b1.h + b2.h + b3.h;
48 result
[all...]
H A Dcls_64byte.c28 struct cls_struct_64byte result; local
30 result.a = b0.a + b1.a + b2.a + b3.a;
31 result.b = b0.b + b1.b + b2.b + b3.b;
32 result.c = b0.c + b1.c + b2.c + b3.c;
33 result.d = b0.d + b1.d + b2.d + b3.d;
34 result.e = b0.e + b1.e + b2.e + b3.e;
35 result.f = b0.f + b1.f + b2.f + b3.f;
36 result.g = b0.g + b1.g + b2.g + b3.g;
37 result.h = b0.h + b1.h + b2.h + b3.h;
39 printf("%g %g %g %g %g %g %g %g\n", result
[all...]
H A Dcls_19byte.c22 struct cls_struct_19byte result; local
24 result.a = a1.a + a2.a;
25 result.b = a1.b + a2.b;
26 result.c = a1.c + a2.c;
27 result.d = a1.d + a2.d;
28 result.e = a1.e + a2.e;
34 result.a, result.b, result.c, result
[all...]
H A Dcls_5_1_byte.c22 struct cls_struct_5byte result; local
24 result.a = a1.a + a2.a;
25 result.b = a1.b + a2.b;
26 result.c = a1.c + a2.c;
27 result.d = a1.d + a2.d;
28 result.e = a1.e + a2.e;
33 result.a, result.b, result.c, result
[all...]
H A Dcls_7_1_byte.c24 struct cls_struct_7byte result; local
26 result.a = a1.a + a2.a;
27 result.b = a1.b + a2.b;
28 result.c = a1.c + a2.c;
29 result.d = a1.d + a2.d;
30 result.e = a1.e + a2.e;
31 result.f = a1.f + a2.f;
32 result.g = a1.g + a2.g;
37 result.a, result
[all...]
H A Dnested_struct11.c30 C result; local
31 result.a.a_x = source.a.a_x;
32 result.a.a_y = source.a.a_y;
33 result.b.b_x = source.b.b_x;
34 result.b.b_y = source.b.b_y;
42 result.a.a_x, result.a.a_y,
43 result.b.b_x, result.b.b_y);
45 return result;
63 struct C result; local
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcapdl.c28 static int getDecodedChar(unsigned char *result) argument
42 *result = ESCAPE;
45 *result = START;
48 *result = END;
52 *result = c - 20;
59 *result = c;
274 int result; local
282 result = getDecodedChar(&c);
283 if (result) {
290 result
[all...]
/seL4-l4v-10.1.1/HOL4/src/integer/testing/
H A Dtest_coopers.sml5 val result = value
13 val _ = Process.exit (if result then Process.success else Process.failure)
H A Dtest_omega.sml5 val result = test_cases.perform_tests Omega.OMEGA_CONV Omega.OMEGA_TAC andalso value
10 val _ = Process.exit (if result then Process.success else Process.failure)

Completed in 183 milliseconds

1234567891011>>