[Tests] works in directory scope

ptests/ptests.ml

@@ -1114,7 +1114,7 @@ let command_string ~result_fmt ~oracle_fmt command =
     "(rule\n  \
      (targets %S %S %a)\n  \
      (deps   %a %S (package frama-c)%a (universe))\n  \
-     (action (with-stderr-to %S (with-stdout-to %S (with-accepted-exit-codes (or 0 1) (system %S)))))\n\
+     (action (with-stderr-to %S (with-stdout-to %S (with-accepted-exit-codes (or 0 1 125) (system %S)))))\n\
      )@."
     errlog
     res

tests/scope/bts971.c

 /* run.config
+   PLUGIN: pdg
    CMXS: @PTEST_NAME@
    OPT: -journal-disable -load-module %{dep:@PTEST_NAME@.cmxs} -then -main main2
 */
 /* bug 971: */
 volatile foo;
 int v;
-
 void f1 () {
   v += 1;
 }

tests/scope/zones.c

 /* run.config
-#   CMXS: @PTEST_NAME@
-   OPT: -load-module @PTEST_NAME@ -eva @EVA_OPTIONS@ -journal-disable
+   PLUGIN: pdg
+   CMXS: @PTEST_NAME@
+   OPT: -load-module %{dep:@PTEST_NAME@.cmxs} -eva @EVA_OPTIONS@ -journal-disable
 */
 
-
 /* bin/viewer.opt -eva @PTEST_DIR@/@PTEST_NAME@.c */
 
 int T [10];