diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml index a72088f49b786e30d51c03f2ca6279e889d2120f..922ec4988e36b72213953e57d5acf5f772994b7a 100644 --- a/src/plugins/markdown-report/md_gen.ml +++ b/src/plugins/markdown-report/md_gen.ml @@ -370,9 +370,11 @@ let section_event is_err env nb event = insert_marks env lab else insert_remark env lab in - let pp_warning fmt msg = Format.fprintf fmt "Message: %s" msg in H2 (plain title, Some lab) - :: Block (codeblock "log" pp_warning event.evt_message) + :: Block ( + (text @@ plain "Message:") @ + codeblock "log" Format.pp_print_string event.evt_message + ) :: content let make_events_list is_err env l = diff --git a/src/plugins/markdown-report/tests/eva/oracle/cwe126.0.md b/src/plugins/markdown-report/tests/eva/oracle/cwe126.0.md index bfafd8867c7336f96c7ea85941275c4f92646501..385f456c3f75b6f1e424a3a40e8efdd68eb769ad 100644 --- a/src/plugins/markdown-report/tests/eva/oracle/cwe126.0.md +++ b/src/plugins/markdown-report/tests/eva/oracle/cwe126.0.md @@ -1,7 +1,7 @@ --- title: Frama-C Analysis Report author: -date: 2019-10-25 +date: 2019-10-28 ... \let\underscore\_ @@ -65,11 +65,14 @@ Table: Warning reported by Frama-C ## Warning 0 (tests/eva/cwe126.c:28) {#warn-0} +Message: + ```log -Message: out of bounds read. assert \valid_read(data + i); +out of bounds read. assert \valid_read(data + i); ``` + # Results of the analysis {#alarms} The table below lists the alarm that have been emitted during the analysis.