OILS
/
mycpp
/
datalog
/ control-flow.dl
View on Github
|
oilshell.org
8 lines, 6 significant
1
.once
2
3
.type Function <: symbol
4
.type Statement <: number
5
6
// True if there is an edge from s1 to s2 in the control flow graph of f.
7
.decl cf_edge(f:Function, s1:Statement, s2:Statement)
8
.input cf_edge