Home
last modified time | relevance | path

Searched refs:sem_check (Results 1 – 9 of 9) sorted by relevance

/dports/cad/nvc/nvc-r1.5.3/test/
H A Dtest_util.c102 sem_check(t); in run_elab()
131 const bool sem_ok = sem_check(last); in _parse_and_check()
H A Dtest_simp.c57 sem_check(e); in START_TEST()
62 sem_check(a); in START_TEST()
173 sem_check(e); in START_TEST()
178 sem_check(a); in START_TEST()
254 sem_check(e); in START_TEST()
259 sem_check(a); in START_TEST()
H A Dtest_sem.c22 sem_check(e); in START_TEST()
41 sem_check(a); in START_TEST()
179 sem_check(e); in START_TEST()
184 sem_check(a); in START_TEST()
264 sem_check(p); in START_TEST()
278 sem_check(pb); in START_TEST()
316 sem_check(e); in START_TEST()
321 sem_check(a); in START_TEST()
H A Dtest_lower.c813 sem_check(t); in START_TEST()
/dports/cad/nvc/nvc-r1.5.3/src/
H A Dsem.c1541 bool ok = sem_check(t); in sem_check_constrained()
1991 ok = sem_check(r.left) && sem_check(r.right) && ok; in sem_check_type_decl()
2303 if (!sem_check(value)) in sem_check_unit_decl()
2477 if (!sem_check(p)) in sem_check_func_ports()
2697 if (!sem_check(p)) in sem_check_proc_ports()
3426 if (!sem_check(t)) in sem_check_reject()
3444 if (!sem_check(w0)) in sem_check_signal_assign()
3472 if (!sem_check(w0)) in sem_check_cassign()
4515 bool ok = sem_check(t); in sem_check_concat_param()
6786 if (!sem_check(test)) in sem_check_case()
[all …]
H A Dphase.h35 bool sem_check(tree_t t);
H A Dnvc.c164 while ((unit = parse()) && sem_check(unit)) in analyse()
/dports/dns/knot3-lib/knot-3.1.5/src/knot/updates/
H A Dddns.c592 static bool sem_check(const knot_rrset_t *rr, const zone_node_t *zone_node, in sem_check() function
674 if (!sem_check(rr, node, update)) { in process_rr()
/dports/dns/knot3/knot-3.1.5/src/knot/updates/
H A Dddns.c592 static bool sem_check(const knot_rrset_t *rr, const zone_node_t *zone_node, in sem_check() function
674 if (!sem_check(rr, node, update)) { in process_rr()