Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
Source project has a limited visibility.
-
Sergey Bozhko authored* use more concise name * add cases with [is_true _] in addition to cases with [_ = true]
Sergey Bozhko authored* use more concise name * add cases with [is_true _] in addition to cases with [_ = true]