CrabIR Playground
Example
— load a test —
Domain
intervals
dis-intervals
int + terms
powerset intervals
val-part intervals
zones
val-part zones
octagons (snf)
non-unit octagons
Flags
invariants
Loading…