Searched refs:strict (Results 1 - 8 of 8) sorted by relevance
| /seL4-camkes-master/tools/cogent/regression/ |
| H A D | testspec.py | 47 def parse_attributes(tag, env, strict=True):
54 if strict:
61 def parse_test(doc, env, strict=True):
64 parse_attributes(doc, env, strict=strict)
70 def parse_sequence(doc, env, strict=True):
82 new_tests = parse_set(child, env, strict=strict)
88 new_tests = parse_sequence(child, env, strict=strict)
[all...] |
| H A D | run_tests.py | 247 parser.add_argument("-s", "--strict", action="store_true",
248 help="be strict when parsing test XML files")
273 tests = testspec.parse_test_files(test_xml, strict=args.strict)
|
| /seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
| H A D | pack_unpack.c | 352 int strict = 0; local
379 if(strict != 0) {
381 (strict == 1 ? '!' : '*'), token(s));
391 strict = (token(s) == '!' ? 1 : -1);
433 if(strict == 0 && (s->flags & JSON_STRICT))
434 strict = 1;
436 if(root && strict == 1) {
468 int strict = 0; local
479 if(strict != 0) {
481 (strict
[all...] |
| /seL4-camkes-master/projects/picotcp/ |
| H A D | Makefile.watcom | 143 CFLAGS+=-dMT7681 -fno-builtin -ffunction-sections -fno-strict-aliasing -m16bit -mabi=2 -mbaseline=V2 -mcpu=n9 -mno-div -mel -mmw-count=8 -mno-ext-mac -mno-dx-regs
|
| H A D | Makefile | 193 CFLAGS+=-DMT7681 -fno-builtin -ffunction-sections -fno-strict-aliasing -m16bit -mabi=2 -mbaseline=V2 -mcpu=n9 -mno-div -mel -mmw-count=8 -mno-ext-mac -mno-dx-regs
|
| /seL4-camkes-master/tools/cogent/cogent/doc/ |
| H A D | doc.tex | 120 \text{strict record matchings} & \overline{r_m}^! & ::= & r_m (\code{,}\ r_m)^* \\
123 \text{strict record assignments} & \overline{r_a}^! & ::= & r_a (\code{,}\ r_a)^* \\
|
| /seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
| H A D | configure | 5560 *--identify-strict*)
|
| /seL4-camkes-master/tools/rumprun/tests/configure/ |
| H A D | configure | 6126 *--identify-strict*)
|
Completed in 188 milliseconds