CrabIR Playground
Example
— load a test —
Domain
intervals
dis-intervals
int + terms
powerset intervals
val-part intervals
zones
val-part zones
octagons (snf)
octagons (apron)
fixed tvpi
polyhedra (apron)
Compare with
— none —
intervals
dis-intervals
int + terms
powerset intervals
val-part intervals
zones
val-part zones
octagons (snf)
octagons (apron)
fixed tvpi
polyhedra (apron)
Flags
invariants
Loading…
Share
Syntax reference ↗
Text
Graph
CFG blocks with their pre-invariants