Skip to content
GitLab
Commit a7bf4a2b authored by Armand PUCCETTI's avatar Armand PUCCETTI
Browse files

turning mdr plugin off for testing purposes

parent 35e540c7
Hide whitespace changes
Inline Side-by-side
util/frama_c.js
View file @ a7bf4a2b
......@@ -525,24 +525,24 @@ function frama_c(file_system, compile_commands, mode, options = {})
}));
}
if(steps.includes('mdr-gen'))
{
promises.push(new Promise((resolve, reject) =>
{
const report_abs_path = path.join(working_directory, 'report.json');
oboe(fs.createReadStream(report_abs_path)).done((document) =>
{
const new_document = frama_c_document_fixer.fix(document, 'uri');
frama_c_result.report = new_document;
// if(steps.includes('mdr-gen'))
// {
// promises.push(new Promise((resolve, reject) =>
// {
// const report_abs_path = path.join(working_directory, 'report.json');
// oboe(fs.createReadStream(report_abs_path)).done((document) =>
// {
// const new_document = frama_c_document_fixer.fix(document, 'uri');
// frama_c_result.report = new_document;
resolve();
}).fail((oboe_err) =>
{
logger.errors('In File \'report.json\', ' + JSON.stringify(deep_copy(oboe_err)));
reject(oboe_err);
});
}));
}
// resolve();
// }).fail((oboe_err) =>
// {
// logger.errors('In File \'report.json\', ' + JSON.stringify(deep_copy(oboe_err)));
// reject(oboe_err);
// });
// }));
// }
Promise.all(promises).then(() =>
{
......
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