Searched refs:EXCLUDE (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/l4v/
H A Drun_tests56 EXCLUDE={} variable
58 EXCLUDE["ARM_HYP"]=[
65 EXCLUDE["ARM"]=[]
67 EXCLUDE["X64"]=[
81 EXCLUDE["RISCV64"]=[
94 # Check EXCLUDE is exhaustive over the available architectures
95 if not set(L4V_ARCH_LIST) <= set(EXCLUDE.keys()):
103 args += [r for t in EXCLUDE[L4V_ARCH] for r in ['-r', t]] # Exclusion list
/seL4-l4v-10.1.1/HOL4/src/search/
H A DdirGraphScript.sml42 `EXCLUDE G ex node = if node IN ex then [] else G node`;
50 `!G x l. EXCLUDE G (x INSERT l) = EXCLUDE (EXCLUDE G l) {x}`,
56 `!G x. REACH (EXCLUDE G x) = RTC (\x' y. ~(x' IN x) /\ MEM y (G x'))`,
70 (REACH (EXCLUDE G seen) p =
71 p INSERT (REACH_LIST (EXCLUDE G (p INSERT seen)) (G p)))`,
92 `!G x y. REACH G x y ==> !z. ~REACH G z y ==> REACH (EXCLUDE G {z}) x y`,
H A DbftScript.sml187 x IN (REACH_LIST (EXCLUDE G (LIST_TO_SET seen)) fringe) /\
210 Cases_on `x IN REACH (EXCLUDE G (LIST_TO_SET seen)) h` THENL
H A DdftScript.sml188 x IN (REACH_LIST (EXCLUDE G (LIST_TO_SET seen)) to_visit) /\
211 Cases_on `x IN REACH (EXCLUDE G (LIST_TO_SET seen)) visit_now` THENL

Completed in 45 milliseconds