Commit 35e540c7 authored by Armand PUCCETTI's avatar Armand PUCCETTI
Browse files

turning mdr plugin off for testing purposes

parent eb06e866
......@@ -312,7 +312,8 @@ function frama_c(file_system, compile_commands, mode, options = {})
}
break;
case 'mdr-gen':
args = args.concat([ '-mdr-gen', 'sarif', '-mdr-out', 'report.json' ]);
args = args.concat([ ]);
// args = args.concat([ '-mdr-gen', 'sarif', '-mdr-out', 'report.json' ]);
break;
}
}
......
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