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)
......@@ -26,10 +26,9 @@ Some advices to post your issue:
- If the bug report is not for a crash, include the **EXPECTED
BEHAVIOR** that you would have liked to see.
- Include the **OBTAINED BEHAVIOR** in enough detail that someone else
(smart, but not mind-reading) can decide if they have reproduced
your bug.
can decide if they have reproduced your bug.
- 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
project depends on system headers, please use one of the two following
options to be sure that:
......