Skip to content
Snippets Groups Projects
Commit e8f8548d authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[ptests] update its own oracles

parent d6404229
No related branches found
No related tags found
No related merge requests found
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
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
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
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
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
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