... | ... | @@ -4,7 +4,7 @@ |
|
|
|
|
|
- If possible, attach the automatically-generated journal (by default called `frama_c_journal.ml`). Journals are enabled automatically when you use the GUI, or when using option `-journal-enable`. Including a journal or a backtrace when available does not exempt you from providing the input files: a backtrace or a journal alone do not contain enough information to reproduce the behavior.
|
|
|
|
|
|
- If the source code causing the issue contains confidential data, you can try using our [C-Reduce scripts](https://pub.frama-c.com/scripts/usability/2020/04/02/creduce.html) to minimize the code before reporting the issue.
|
|
|
- If the source code causing the issue contains confidential data, you can try using our [C-Reduce scripts](https://frama-c.com/2020/04/02/creduce.html) to minimize the code before reporting the issue.
|
|
|
|
|
|
- Include the _OBTAINED BEHAVIOR_ in enough detail that someone else can decide if they have reproduced your bug.
|
|
|
|
... | ... | |