Logo

bugs

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#CreatedCategoryVersionPriorityStatusSummary
000032016-02-17 23:16Bug8422:8423M3Closed--export-results not working
000022015-03-09 17:24Bug1178M4ClosedSegfault in net with only immediate transition in the initial marking
000012014-10-29 11:26Otherlatest1Closedtest bug report

the end

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy