Skip to content
Snippets Groups Projects
Commit d958bba9 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by David Bühler
Browse files

[Pdg] Use the new Eva API

parent 4da60181
No related branches found
No related tags found
No related merge requests found
......@@ -1000,7 +1000,7 @@ let degenerated top kf =
if top then PdgTypes.Pdg.top kf else PdgTypes.Pdg.bottom kf
let compute_pdg kf =
if not (Db.Value.is_computed ()) then !Db.Value.compute ();
if not (Eva.Analysis.is_computed ()) then Eva.Analysis.compute ();
Pdg_parameters.feedback "computing for function %a" Kernel_function.pretty kf;
try
if is_variadic kf then
......
......@@ -127,7 +127,7 @@ let compute_for_kf kf =
Kernel_function.Set.mem kf (Pdg_parameters.BuildFct.get ())
let compute () =
!Db.Value.compute ();
Eva.Analysis.compute ();
let do_kf_pdg kf =
if compute_for_kf kf then
let pdg = !Db.Pdg.get kf in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment