"src/project/project.ml", line 678 Assertion failed
ID0001464: This issue was created automatically from Mantis Issue 1464. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001464 | Frama-C | Graphical User Interface | public | 2013-07-29 | 2013-08-01 |
| Reporter | barries | Assigned To | - | Resolution | fixed |
| Priority | normal | Severity | crash | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | Frama-C Nitrogen-20111001 |
Description :
Steps to reproduce:
- Project -> default -> Duplicate project
- Save As "test.frama" (any name will do; test.frama attached to issue)
- Project -> Load project -> "test.frama"
- Observe Error dialog:
The full backtrace is:
Called from file "src/kernel/journal.ml", line 323, characters 15-26 Re-raised at file "src/kernel/journal.ml", line 338, characters 14-15 Called from file "src/gui/project_manager.ml", line 131, characters 18-34 Called from file "src/lib/extlib.ml", line 176, characters 12-15 Re-raised at file "src/lib/extlib.ml", line 181, characters 10-11 Called from file "src/gui/gtk_helper.ml", line 533, characters 8-385
Unexpected error (File "src/project/project.ml", line 678, characters 24-30: Assertion failed). Please report as 'crash' at http://bts.frama-c.com
Additional Information :
I'm a new user and may well be skipping some key step.