Commit eb8ecd53 authored by Armand PUCCETTI's avatar Armand PUCCETTI
Browse files

restore

parent b487fc9a
Pipeline #20140 passed with stages
in 13 minutes and 40 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', '-eva-verbose 0' ]);
args = args.concat([ '-eva' ]);
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