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

[tests] fixes some problemes related to dune migration

parent 62c6f35d
No related branches found
No related tags found
No related merge requests found
/*run.config
PLUGIN: from,inout,loopanalysis,eva,scope
PLUGIN: @PTEST_PLUGIN@ from,inout,eva,scope
OPT: -eva -eva-show-progress -then -loop
*/
void f1(int n) {
......
PLUGIN: server
LOG: @PTEST_NAME@.out.json
OPT: -server-batch @PTEST_DIR@/@PTEST_NAME@.json -server-batch-output-dir @PTEST_RESULT@ -server-msg-key use-relative-filepath
OPT: -server-batch %{dep:@PTEST_DIR@/@PTEST_NAME@.json} -server-batch-output-dir @PTEST_RESULT@ -server-msg-key use-relative-filepath
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