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

turning mdr plugin off for testing purposes

parent a7bf4a2b
Pipeline #20181 passed with stages
in 9 minutes and 46 seconds
......@@ -283,7 +283,7 @@ function frama_c(file_system, compile_commands, mode, options = {})
if(mode.parser) steps.push('json');
if(mode.eva) steps.push('eva');
if(mode.wp) steps.push('wp');
if(mode.eva || mode.wp) steps.push('mdr-gen');
// if(mode.eva || mode.wp) steps.push('mdr-gen');
for(let step_num = 0; step_num < steps.length; ++step_num)
{
......
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