Commit 7fc0812b authored by Armand PUCCETTI's avatar Armand PUCCETTI
Browse files

reduce size of eva output

parent 990f662a
Pipeline #20133 passed with stages
in 60 minutes and 21 seconds
......@@ -298,7 +298,7 @@ function frama_c(file_system, compile_commands, mode, options = {})
args = args.concat([ '-json', '-json-out', 'result.json' ]);
break;
case 'eva':
args = args.concat([ '-eva' ]);
args = args.concat([ '-eva -eva-verbose 0' ]);
if((options.eva !== undefined) && (options.eva.main !== undefined))
{
args = args.concat(['-main', options.eva.main ]);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment