Skip to content
GitLab
Explore
Sign in
Charles Southerland
frama-c
Repository
frama-c
src
plugins
impact
reason_graph.ml
Find file
Blame
History
Permalink
[impact] register_gui use dgraph_helper instead of direct call to Dgraph
· bb77d55b
Virgile Prevosto
authored
Sep 16, 2019
Allows compiling it regardless of Dgraph availability
bb77d55b