From e8f8548dc5e9ab866aa5d6c97fed4eacee9bb1fb Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Tue, 26 Jul 2022 16:27:20 +0200 Subject: [PATCH] [ptests] update its own oracles --- .../tests/without-test_config/oracle/ptest-macros.0.res.oracle | 2 +- .../tests/without-test_config/oracle/ptest-macros.1.res.oracle | 2 +- tools/ptests/tests/nothing/tests/basic/oracle/empty.res.oracle | 2 +- tools/ptests/tests/nothing/tests/basic/oracle/opt.0.res.oracle | 2 +- tools/ptests/tests/nothing/tests/basic/oracle/opt.1.res.oracle | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/tools/ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.0.res.oracle b/tools/ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.0.res.oracle index 838408a108b..eec2aa08e34 100644 --- a/tools/ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.0.res.oracle +++ b/tools/ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.0.res.oracle @@ -1 +1 @@ -PTEST_DIR=./tests/cmd/tests/without-test_config PTEST_NAME=ptest-macros.i PTEST_RESULT=./tests/cmd/tests/without-test_config/result PTEST_NAME=ptest-macros PTEST_NUMBER=0 +PTEST_DIR=. PTEST_NAME=ptest-macros.i PTEST_RESULT=. PTEST_NAME=ptest-macros PTEST_NUMBER=0 diff --git a/tools/ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.1.res.oracle b/tools/ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.1.res.oracle index 0de87067da3..bc2b3a993f0 100644 --- a/tools/ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.1.res.oracle +++ b/tools/ptests/tests/cmd/tests/without-test_config/oracle/ptest-macros.1.res.oracle @@ -1 +1 @@ -PTEST_DIR=./tests/cmd/tests/without-test_config PTEST_NAME=ptest-macros.i PTEST_RESULT=./tests/cmd/tests/without-test_config/result PTEST_NAME=ptest-macros PTEST_NUMBER=1 +PTEST_DIR=. PTEST_NAME=ptest-macros.i PTEST_RESULT=. PTEST_NAME=ptest-macros PTEST_NUMBER=1 diff --git a/tools/ptests/tests/nothing/tests/basic/oracle/empty.res.oracle b/tools/ptests/tests/nothing/tests/basic/oracle/empty.res.oracle index 628d824bcc7..e313fcfad13 100644 --- a/tools/ptests/tests/nothing/tests/basic/oracle/empty.res.oracle +++ b/tools/ptests/tests/nothing/tests/basic/oracle/empty.res.oracle @@ -1 +1 @@ -frama-c default-options:=-journal-disable -check -no-autoload-plugins:= empty.i +frama-c default-options:=-check -no-autoload-plugins -add-symbolic-path=/home/pb122476/export-local/frama-c/master/trunk/tools/ptests/_build/default/./tests/nothing:.:= empty.i diff --git a/tools/ptests/tests/nothing/tests/basic/oracle/opt.0.res.oracle b/tools/ptests/tests/nothing/tests/basic/oracle/opt.0.res.oracle index 96766a95c44..f9923bff22b 100644 --- a/tools/ptests/tests/nothing/tests/basic/oracle/opt.0.res.oracle +++ b/tools/ptests/tests/nothing/tests/basic/oracle/opt.0.res.oracle @@ -1 +1 @@ -frama-c default-options:=-journal-disable -check -no-autoload-plugins:= opt.i -- OPT No0: number=0 name=opt file=opt.i +frama-c default-options:=-check -no-autoload-plugins -add-symbolic-path=/home/pb122476/export-local/frama-c/master/trunk/tools/ptests/_build/default/./tests/nothing:.:= -- OPT No0: number=0 name=opt file=opt.i diff --git a/tools/ptests/tests/nothing/tests/basic/oracle/opt.1.res.oracle b/tools/ptests/tests/nothing/tests/basic/oracle/opt.1.res.oracle index 8b4c69848ac..ea8b71c4d67 100644 --- a/tools/ptests/tests/nothing/tests/basic/oracle/opt.1.res.oracle +++ b/tools/ptests/tests/nothing/tests/basic/oracle/opt.1.res.oracle @@ -1 +1 @@ -frama-c default-options:=-journal-disable -check -no-autoload-plugins:= opt.i -- OPT No1: number=1 +frama-c default-options:=-check -no-autoload-plugins -add-symbolic-path=/home/pb122476/export-local/frama-c/master/trunk/tools/ptests/_build/default/./tests/nothing:.:= opt.i -- OPT No1: number=1 -- GitLab