viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.analysis
/
InformationFlowAnalysis
/
exportConstraintGraph
export
Constraint
Graph
fun
exportConstraintGraph
(
output
:
Writer
)
Outputs a DOT representation of the program's constraint graph to
output
.