data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
M A R C I E - Bugtracker (closed bugs)
Welcome to the Marcie Bug Tracking System. This set of pages is designed to allow people to keep track of issues surrounding development and maintenance of Marcie.
Before submitting any new bugs please have a look if the bug has appeared before. If so, please reopen the bug instead of creating a new one.
| Issue# | Created | Category | Version | Priority | Status | Summary |
|---|---|---|---|---|---|---|
| 00003 | 2016-02-17 23:16 | Bug | 8422:8423M | 3 | Closed | --export-results not working |
| 00002 | 2015-03-09 17:24 | Bug | 1178M | 4 | Closed | Segfault in net with only immediate transition in the initial marking |
| 00001 | 2014-10-29 11:26 | Other | latest | 1 | Closed | test bug report |