Searched refs:ure (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver345.c15 struct ure { struct
19 int bad(struct ure *sp) {
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dtype_strengthen.c15 struct ure { struct
17 struct ure *n;
31 struct ure *pure_g(struct ure *p) {
35 int pure_h(struct ure *p) {
43 int pure_j(struct ure s) {
47 int pure_k(struct ure s) {
121 unsigned opt_h(struct ure *s) {
131 int opt_j(struct ure *p, struct ure *
[all...]
H A Dcondition_guard.c34 struct ure { struct
38 void f2(struct ure *p) {

Completed in 48 milliseconds