From 1e138e226f8a8aebfb38d9c01ea35c8eba49f0d0 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 16 Feb 2022 22:27:11 +0100
Subject: [PATCH] [tests] dune: fix test directory 'pdg'
---
tests/pdg/dyn_dpds.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tests/pdg/dyn_dpds.ml b/tests/pdg/dyn_dpds.ml
index 02dc6d7d49d..37b7a48f594 100644
--- a/tests/pdg/dyn_dpds.ml
+++ b/tests/pdg/dyn_dpds.ml
@@ -30,7 +30,7 @@ let main _ =
let kf = Globals.Functions.find_def_by_name "main" in
let pdg = !Db.Pdg.get kf in
Format.printf "%a@." (!Db.Pdg.pretty ~bw:false) pdg;
- !Db.Pdg.extract pdg (ptest_file "tests/pdg/result/" "dyn_dpds_0.dot");
+ !Db.Pdg.extract pdg (ptest_file "" "dyn_dpds_0.dot");
let assert_sid = 5 in (* assert ( *p>G) *)
let assert_stmt, kf = Kernel_function.find_from_sid assert_sid in
let _assert_node =
@@ -51,6 +51,6 @@ let main _ =
Format.printf "Warning : cannot select %a in this function...@\n"
Locations.Zone.pretty undef;
Format.printf "%a@." (!Db.Pdg.pretty ~bw:false) pdg;
- !Db.Pdg.extract pdg (ptest_file "tests/pdg/result/" "dyn_dpds_1.dot")
+ !Db.Pdg.extract pdg (ptest_file "" "dyn_dpds_1.dot")
let () = Db.Main.extend main
--
GitLab