CrabIR Playground
Example
— load a test —
Domain
intervals
dis-intervals
int + terms
powerset intervals
val-part intervals
zones
val-part zones
template DBM
octagons (snf)
octagons (apron)
polyhedra (apron)
Compare with
— none —
intervals
dis-intervals
int + terms
powerset intervals
val-part intervals
zones
val-part zones
template DBM
octagons (snf)
octagons (apron)
polyhedra (apron)
Flags
invariants
Loading…
Share
Syntax reference ↗
Text
Graph
CFG blocks with their invariants on entry, and on exit for the exit block