data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Summary:
Bug in exporting P-Invariants and T-Invariants
Created:
2011-05-31 12:11
Status:
Closed
Category:
Bug
Assigned:
Priority:
5
Program:
Charlie
Version:
Description:
There is a bug in Charlie when exporting P/T-invariants Snoopy cannot parse the file that is exported.
There is a bug in Charlie when exporting P/T-invariants Snoopy cannot parse the file that is exported.
This is due to a missing space in the exported file before "place" or "transition".
Comments
<< 00034 | CharlieBugList | 00036 >>