| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/sync/ |
| H A D | spinlock.h | 31 int expected = 0; local
32 if (__atomic_compare_exchange_n(lock, &expected, 1, 1, __ATOMIC_ACQUIRE, __ATOMIC_RELAXED)) {
40 int expected = 0; local
41 return !__atomic_compare_exchange_n(lock, &expected, 1, 0, __ATOMIC_ACQUIRE, __ATOMIC_RELAXED);
|
| /seL4-camkes-master/tools/rumprun/tests/crypto/ |
| H A D | md5.c | 11 static unsigned char expected[MD5_DIGEST_LENGTH] = { variable
26 return memcmp(expected, md5sum, sizeof(expected));
|
| /seL4-camkes-master/projects/lwip/test/unit/core/ |
| H A D | test_def.c | 31 static void test_def_itoa(int number, const char *expected) argument
36 size_t exp_len = strlen(expected);
43 fail_unless(!memcmp(test_buf, expected, exp_len));
57 fail_unless(!memcmp(test_buf, expected, exp_len));
|
| /seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
| H A D | testdtbmatchquery.py | 52 expected = {
66 self.assertEquals(node['query'][0], expected)
70 expected = {
87 self.assertEquals(node['query'][0], expected)
93 expected = {
106 self.assertEquals(node['query'][0], expected)
109 expected = {
126 self.assertEquals(node['query'][0], expected)
130 expected = {
143 self.assertEquals(node['query'][0], expected)
[all...] |
| /seL4-camkes-master/tools/cogent/minigent/ |
| H A D | update_expected_files.sh | 6 $TEST_BIN update-expected $i
|
| /seL4-camkes-master/tools/cogent/cogent/tests/ |
| H A D | run-test-suite.py | 73 # (status, errormsg, expected)
74 # where status, expected :: "pass" | "fail" | "error" | "wip-pass" | "wip-fail" | "wip"
76 def is_wip(expected):
77 return (expected == "wip" or
78 expected == "wip-pass" or
79 expected == "wip-fail")
116 (status, _, expected) = self.test
117 return status == expected or is_wip(expected)
124 (status, output, expected)
[all...] |
| /seL4-camkes-master/tools/cogent/cogent/tests/tests/dargent/ext-array/pass_array-put/ |
| H A D | BUILD | 6 diff expected.out actual.out
|
| /seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
| H A D | test_load.c | 55 check_error("end of file expected near 'garbage'", "<string>", 1, 18, 18);
97 json_int_t expected; local
108 expected = 9007199254740992ll;
112 if (!json || !json_is_real(json) || expected != (json_int_t)json_real_value(json))
113 fail("json_load decode int as real failed - expected imprecision");
121 const char *expected = "nul byte \0 in string"; local
132 if(memcmp(json_string_value(json), expected, len + 1))
|
| H A D | test_object.c | 468 const char *expected = "{\"foobar\": 1, \"bazquux\": 6, \"lorem ipsum\": 3, \"sit amet\": 5, \"helicopter\": 7}"; local
489 if(strcmp(expected, result) != 0) {
490 fprintf(stderr, "%s != %s", expected, result);
|
| /seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
| H A D | compile | 245 arguments, and rename the output as expected.
314 # that we are using for the .o file. Also, base the name on the expected
|
| H A D | ltmain.sh | 2960 # Don't allow the user to place us outside of our expected
4525 /* execv doesn't actually work on mingw as expected on unix */
|
| /seL4-camkes-master/tools/rumprun/tests/configure/build-aux/ |
| H A D | compile | 245 arguments, and rename the output as expected.
314 # that we are using for the .o file. Also, base the name on the expected
|
| H A D | ltmain.sh | 2960 # Don't allow the user to place us outside of our expected
4525 /* execv doesn't actually work on mingw as expected on unix */
|
| /seL4-camkes-master/projects/lwip/test/unit/tcp/ |
| H A D | test_tcp.c | 136 /* check if counters are as expected */
150 /* check if counters are as expected */
189 /* check if counters are as expected */
243 /* check if counters are as expected */
428 /* check if counters are as expected */
526 /* @todo: check expected data?*/
590 /* create expected segment */
596 /* check if counters are as expected */
801 u8_t expected = 0xFE; local
811 tx_data[TCP_WND] = expected;
[all...] |
| /seL4-camkes-master/kernel/manual/parts/ |
| H A D | io.tex | 283 in the provided slot. It is expected that whatever thread controls an
305 placed in the provided slot. It is expected that whatever thread controls a
390 The kernel is expected to perform all required SMMU TLB maintenance operations
|
| H A D | objects.tex | 242 used when no reply is expected. Unlike \apifunc{seL4\_Recv}{sel4_recv},
|
| H A D | threads.tex | 513 The caller is expected to select an API-ID that corresponds to
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_tcp.c | 814 static int tcpopt_len_check(uint32_t *idx, uint8_t len, uint8_t expected) argument
816 if (len != expected) {
1662 if (pico_seq_compare(SEQN(f), t->rcv_nxt) == 0) { /* Exactly what we expected */
|
| /seL4-camkes-master/tools/cogent/cogent/doc/ |
| H A D | doc.tex | 658 Both of them apply to put as well, as expected. Once again, \code{take} and \code{put} are type-level
|