Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • pub/pub.frama-c.com
1 result
Show changes
Commits on Source (2)
Hide whitespace changes
Inline Side-by-side
dokuwiki/bug_reporting_guidelines.md
View file @ c927e7f6
...@@ -26,10 +26,9 @@ Some advices to post your issue: ...@@ -26,10 +26,9 @@ Some advices to post your issue:
- If the bug report is not for a crash, include the **EXPECTED - If the bug report is not for a crash, include the **EXPECTED
BEHAVIOR** that you would have liked to see. BEHAVIOR** that you would have liked to see.
- Include the **OBTAINED BEHAVIOR** in enough detail that someone else - Include the **OBTAINED BEHAVIOR** in enough detail that someone else
(smart, but not mind-reading) can decide if they have reproduced can decide if they have reproduced your bug.
your bug.
- Include **HOW TO REPRODUCE** the issue. Provide everything necessary - Include **HOW TO REPRODUCE** the issue. Provide everything necessary
for a smart, but not mind-reading, human to reproduce the bug: input for someone else to reproduce the bug: input
files, command line used, sequence of actions. If your analysis files, command line used, sequence of actions. If your analysis
project depends on system headers, please use one of the two following project depends on system headers, please use one of the two following
options to be sure that: options to be sure that:
......