Design/CPN Online

Main Bug List

[040113b0095] NEW

Short: Occurrence Graph Tool Stopped Working Since January 10, 2004
Module: O-graph
Catagory: Confusing
Severity: Critical
Updated:
Submitter: Lars Michael Kristensen (kris@daimi.au.dk)
Long: The Occurrence Graph Tool has a critical problem as it depends on the time-of-day function (tod()). This function returns the number of seconds since January 1, 1970, but since SML/NJ represents integers with 2^30 bits the tod() function raises an overflow exception on January 10, 2004 (Sat Jan 10 13:36:42 GMT 2004) and henceforth.
Diagram:
Comments:

Work-around: Patch file: http://www.daimi.au.dk/designCPN/patches/tod.sml
User advice: The installation instructions are embedded in the header of the mentioned patch file.

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: High
Estimated work: Minutes
How to fix:
Status:
The Fix:

[030716b0094]

Short: Shift-drag-selection of objects not selecting enclosed objects
Module: Editor
Catagory: Confusing
Severity: Minor
Updated:
Submitter: a.c.d.keijzer@student.tue.nl
Long: A group of objects can be selected by either dragging a square around it, or by holding the SHIFT key and click on the objects. A combination is also possible, but this doesn't work properly all the time. Depending on earlier actions, other objects may be selected. E.g. selection of Node1 followed by a group-select (by dragging) of Node2 and Node3, while holding down SHIFT, might select Node2,3&4.
Diagram:
Comments:

Work-around: In group selection mode I haven't detected this error. You can enter (and leave) group selection mode in the GroupMenu (Alt+G).
User advice:

Version: 4.0
Machine: Linux
Reproduced by: Related scenario: 1.Select one place; 2.Group-select some transitions; 3.Leave group mode; Result: the place is selected. I think this is the inverse behaviour of the reported bug. Scenario for the bug: Start with a single node selected (not in group mode). Multi-selection by SHIFT+dragging (starting with a single node selected) will add (complement) the newly selected nodes to the last known group selection. At least, this is what it looks like. A user would expect the newly selected nodes to be added to that single selected node. NB adding a new node by SHIFT+mouseclick, doesn't have this problem.
X-ref:

Priority: Unknown
Estimated work: Unknown
How to fix:
Status:
The Fix:

[030716b0093] NEW

Short: Creating arcs and disturbing simulation regions
Module: Editor
Catagory: Annoying
Severity: Minor
Updated:
Submitter: a.c.d.keijzer@student.tue.nl
Long: When running a simulation, a place/transition gets different regions. Most of them are invisible when editing again. However, when drawing arcs between places and transitions, these regions are disturbing (you get an error message when you end up on such a region). Why can the editor not ignore the hidden regions on top, and check for a place or transition below? (like it does for a normal mouse-click) (especially because you cannot see them nor click on them)
Diagram:
Comments: The region in this case is the Input Token Region.

Work-around: The sim regions can easily be removed, by selecting "CPN|Remove Sim Regions" from the menu.
User advice:

Version: 4.0
Machine: Unknown
Reproduced by:
X-ref:

Priority: Unknown
Estimated work: Unknown
How to fix:
Status:
The Fix:

[030710b0092] NEW

Short: Availability of Save option in main menu
Module: Editor
Catagory: Harmless
Severity: Minor
Updated:
Submitter: a.c.d.keijzer@student.tue.nl
Long: For a new diagram the option Save is not available until the project has a name associated with it (Save_As). However, if you have entered and exited the simulator, the option Save is avaible. Option Save will now behave as Save_As (like any normal Windows application).
Diagram: Ref to separate e-mail, ftp or WWW address, or none
Comments: Since Save may be available without a filename; why not allow the option (and thus also its shortcut!) all the time.

Work-around: -
User advice: -

Version: 4.0
Machine: Unknown
Reproduced by: Please describe carefully.
X-ref:

Priority: Unknown
Estimated work: Unknown
How to fix:
Status:
The Fix:

[030423b0091]

Short: Cannot generate template code for data collectors
Module: Editor
Catagory: Annoying
Severity: Minor
Updated:
Submitter: Lisa Wells (wells@daimi.au.dk)
Long: It is no longer possible to generate any template code for data collectors in the Performance Tool. Attempting to generate code results in a dialog box that states that "This command is only allowed on places and regular transitions." The bug fix for bug [010227b0086] apparently made the problem worse than it was in a previous version of the tool.
Diagram:
Comments:

Work-around: Write the code yourself.
User advice:

Version: 4.0
Machine: All
Reproduced by: This problem is found in version 4.0.5 (not version 4.0). Open a diagram. Switch to the Performance Tool. Select a place or a transition (or anything else). Select the "Data Collector..." entry from the Perf menu.
X-ref: [030423b0000]

Priority: Unknown
Estimated work: Unknown
How to fix: Fixed in the version 4_0_020205 which is the internal release at DAIMI.
Status:
The Fix:
[021017b0090]

Short: LC_create_int return bogus name
Module: Simulator
Catagory: Confusing
Severity: Minor
Updated:
Submitter: khm@daimi.au.dk
Long: LC_create_int return bogus name (just zeros).
Diagram:
Comments:

Work-around: Do not use the name returned by LC_create_int but use a declared by yourself.
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: Low
Estimated work: 1 Day
How to fix:
Status:
The Fix:
[021017b0089]

Short: Timestamp on tokens in initial markings
Module: Simulator
Catagory: Annoying
Severity: Minor
Updated:
Submitter: khm@daimi.au.dk
Long: Example of initial marking not working: 1`AA@[RealToIntInf 5 5.5] +++ 2`BB@[RealToIntInf 5 6.6]
Diagram:
Comments: Fixed in latest internal release

Work-around: Create a transition generating tokens with timestamps on arcs.
User advice:

Version: 4.0.5
Machine: All
Reproduced by:
X-ref:

Priority: Low
Estimated work: 1 Day
How to fix:
Status:
The Fix:
[021017b0088]

Short: Multiple arcs between a place and transition
Module: Design/CPN
Catagory: Confusing
Severity: Minor
Updated:
Submitter: khm@daimi.au.dk
Long: Two arcs from one place to one transition results in an exception during switch to simulator.
Diagram:
Comments:

Work-around: Merge the arcs by means of ++ operator.
User advice:

Version: 4.0.5
Machine: All
Reproduced by:
X-ref:

Priority: Low
Estimated work: 1 Day
How to fix: A module on the C-side generates '+' instead of '++'.
Status:
The Fix:
[021017b0087]

Short: LC_create_int may crash Design/CPN
Module: Simulator
Catagory: Crash
Severity: Minor
Updated:
Submitter: khm@daimi.au.dk
Long: LC_create_int may crash Design/CPN if DSStr_NewPage is called right before.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0.5
Machine: Unix
Reproduced by:
X-ref:

Priority: Low
Estimated work: Days
How to fix:
Status:
The Fix:
[010227b0086]

Short: Template code for data collectors on port places
Module: Simulator
Catagory: Annoying
Severity: Minor
Updated:
Submitter: Lars Kristensen
Long: Templace code for data collectors cannot be generated. Attempting to do so results in a diaglog box saying that a place or transition must be selected.
Diagram:
Comments:

Work-around: Write the code yourself....
User advice:

Version: 4.0
Machine: All
Reproduced by: Open a diagram with a port place. Switch to the performance tool. Select the port place and observe the response.
X-ref:

Priority: Medium
Estimated work: Hours
How to fix:
Status:Fixed in v4.0.5
The Fix: Reimplemented the filter on allowed objects.
[010125b0085]

Short: Enter Occ Graph fails when 'no' is a colour
Module:O-graph
Catagory:Annoying
Severity:Minor
Updated:
Submitter:chuoy001@students.unisa.edu.au
Long: Enter Occ Graph fails with CPN models have 'no' as a colour, i.e., CPN model with a declaration like: color XX = with yes | no;
Diagram:
Comments:

Work-around: Rename 'no' to something else.
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: Medium
Estimated work: Minutes
How to fix: The problem is caused by the use of 'no' in the files OGNodeSel.sml and OGSearchReachable.sml. The problem can be fixed by prefixing renaming 'no' to e.g., CPN'no in these files.
Status:Fixed in v4.0.5
The Fix:
[001213b0084]

Short: Tools craches on XML save failure
Module: Editor
Catagory: Crash
Severity: Minor
Updated:
Submitter:
Long: When save as XML failes (i.e. by an attemp to save something not a page), the tool crashes with a segmentation fault.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: Medium
Estimated work: Minutes
How to fix:
Status: Fixed in v4.0.5
The Fix: File trailer was attemted written even if the save had failed.
[001213b0083]

Short: DSFile_LoadPage ignores arguments
Module: ML/OA
Catagory: Annoying
Severity: Minor
Updated:
Submitter:
Long: The DSFile_LoadPage functions ignores it arguments, so it will allways ask the user for a filename.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: Linux
Reproduced by:
X-ref:

Priority: Low
Estimated work: Minutes
How to fix:
Status: Fixed in v4.0.5
The Fix: A 16-bit value was byteswapped as a 32-bit value
[001115b0082]

Short: Enter OGA fails with timed models
Module: O-graph
Catagory: Crash
Severity: Major
Updated:
Submitter: Christian Axbrink
Long: I have a colour set, 'color Resource = unit timed;', which I use to sequencalise certain parts of the model. It runs fine in simulation, but the Occurence Graph tool barfs at stage 3:10. When I got the output from use (ogpath^"OGswitch.sml"); it became clear that it was some prioritised queue that gave an exception. On a hunch I removed all time dependencies from my simulation, whereupon the OG tool swallowed nicely.
Diagram: Ref to separate e-mail, ftp or WWW address, or none
Comments:

Work-around:
User advice:

Version: 4.0
Machine: Unknown
Reproduced by:
X-ref:

Priority: High
Estimated work: Unknown
How to fix:
Status: Fixed in v4.0.5
The Fix: OGBranching was changed to operate on staterecs - the timed case wasn't changed to reflect this.
[001011b0081]

Short: The simulator doesn't run on recent Linux distributions
Module: Simulator
Catagory: Crash
Severity: Critical
Updated:
Submitter:
Long: The current version of the simulator requires version 5 of the C library. This is not shipped with recent Linux distributions.
Diagram:
Comments:

Work-around: Install libc5 libraries.
User advice:

Version: 4.0
Machine: Linux
Reproduced by:
X-ref:

Priority: High
Estimated work: Minutes
How to fix:
Status: Fixed in 4.0.4.
The Fix: Rebuild the simulator runtime with glibc.
[001909b0080]

Short: Generated EPS is invalid
Module: Editor
Catagory: Annoying
Severity: Major
Updated:
Submitter: Reuter, Bärbel
Long: The EPS files genereated doesn't load in Ghostview on Windows NT
Diagram:
Comments:

Work-around: Replace the line in the EPS file starting with "%%Page" with "%%Page 1 1"
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: Medium
Estimated work: Minutes
How to fix:
Status: Fixed in 4.0.4.
The Fix: Changed the line outputting %%Page to the correct format.
[000827b0079]

Short: The NewSim module doesn't support IntInf
Module: New Simulator
Catagory: Annoying
Severity: Major
Updated:
Submitter:
Long: Using the IntInf colorset will cause an error during syntax check.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: Unknown
Reproduced by:
X-ref:

Priority: High
Estimated work: Hours
How to fix:
Status: Fixed in 4.0.4.
The Fix: Added the code to support IntInf.
[000817b0078]

Short: Closing page using shortcut in text mode
Module: Editor
Catagory: Annoying
Severity: Major
Updated:
Submitter: Lars Kristensen
Long: Closing a page using the short-cut when in text-mode has the effect that the cursor is no longer visible in text mode
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: HP-UX
Reproduced by: Create a new object with one object. Enter text mode and close page using the short-cut CTRL+W
X-ref:

Priority: High
Estimated work: Hours
How to fix:
Status: Fixed in 4.0.4.
The Fix: Turn off textmode before closing the page.
[000718b0077]

Short: Can't create performance function templates for PORTS
Module: Unknown
Catagory: Confusing
Severity: Minor
Updated:
Submitter: Lisa Wells wells@daimi.au.dk
Long: After selecting a PORT (I/0, In-, and Out-), it is not possible to create a template for performance functions using the Data Collector entry in the Perf menu. After selecting the Data Collector entry when a port is selected, a dialog box appears indicating that the command is only available for places and transitions. Note: it is possible to create templates when sockets are selected.
Diagram: /users/wells/HPCPN/presentations/cpn99/tutorial/model/swProtocol/finalVersion/CPN99/SWPerformance3 (I think)
Comments: This bug may have been introduced when bug "[991223b0066] Performance tool crashres on substitution transition" was fixed.

Work-around: Select another place (not a PORT) on the same page, generate the template, replace the name of the dummy place with the name of the port place.
User advice:

Version: 4.0
Machine: Sun Sparc Solaris < 2.6
Reproduced by: Select a PORT place and try to invoke Data Collector in the Perf menu.
X-ref: [000718b0000]

Priority: Unknown
Estimated work: Hours
How to fix: Suggestion for fix: locate fix for crash with substition transitions (possibly in acpn/Performance directory), make sure that Data Collector is "disabled" only for substitution transitions.
Status:
The Fix:
[000609b0076]

Short: When moving from Linux to Solaris, crash when entering simulator
Module: Simulator
Catagory: Crash
Severity: Minor
Updated:
Submitter:
Long: When moving from Linux to Solaris, I get a segmentation fault using the simulator (after setting new ML options)
Diagram:
Comments:

Work-around: Make a inconsequential change to the declaration box to force a recheck.
User advice:

Version: 4.0
Machine: Unknown
Reproduced by: Make and simulate a diagram on the Linux platform and save it + the ML state. Then load it on the Solaris platform and enter the simulator.
X-ref:

Priority: Low
Estimated work: 1/2 Day
How to fix:
Status: Fixed in 4.0.3
The Fix: The non-Linux platforms didn't byteswap properly.
[000608b0075]

Short: Loading Solaris diagram on Linux crashed the tool
Module: Editor
Catagory: Crash
Severity: Major
Updated:
Submitter:
Long: When load some diagrams saved on the Solaris platform on the Linux platform, the tool will crash with a segmentation fault.
Diagram:
Comments:

Work-around: Use the Text Interchange format
User advice:

Version: 4.0
Machine: Unknown
Reproduced by: Create a diagram on a Linux machine, save it, load it on a Solaris machine, save it, and finally load it again on the Linux machine.
X-ref:

Priority: High
Estimated work: Days
How to fix:
Status: Fixed in 4.0.3
The Fix: The non-Linux platforms didn't byteswap properly.
[000505b0074]

Short: The 'withø clause doesn't work in string color sets
Module: Design/CPN
Catagory: Annoying
Severity: Major
Updated:
Submitter:
Long: If a string color type is defined with the 'with' clause, the syntax check will fail.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: High
Estimated work: Hours
How to fix: The generated code wasn't updated to SML'97
Status: Fixed in 4.0.3.
The Fix:
[000411b0073]

Short: Update charts by time doesn't work
Module: Design/CPN
Catagory: Annoying
Severity: Major
Updated:
Submitter: Jianli Xu (jianli.xu@nokia.com)
Long: If update charts by time period is selected, the tool gives the following error on syntax check: 
	  C.24 Chart Code action must be legal
       
	  val CPN'NextTime12 = ref 1 : int ref
	  val CPN'CCIF12 = fn : unit -> unit
       
	  val CPN'CCondF12 = fn : unit -> bool
	  :9.9-9.11 Error: unbound variable or constructor: v1
	  :3.22-3.51 Error: operator and operand don't agree [tycon mismatch]
	  operator domain: IntInf.int * IntInf.int
	  operand:         IntInf.int * int
	  in expression:
	  time () >= ! CPN'NextTime12

Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: High
Estimated work: Hours
How to fix: The update interval is stored as an integer - store it as IntInf.
Status: Fixed in 4.0.3.
The Fix:
[000330b0072]

Short: UpperMultiSet/LowerMultiset doesn't work
Module: O-graph
Catagory: Annoying
Severity: Major
Updated:
Submitter: Stefan Sorensen (sts@daimi.au.dk)
Long: The UpperMultiSet and LowerMultiset functions are not present.
Diagram:
Comments:

Work-around: use CPN'UpperMultiset/CPN'LowerMultiset.
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: High
Estimated work: Minutes
How to fix: Add the bindings the appropiate place.
Status: Fixed in 4.0.2
The Fix:
[000316b0071]

Short: Can't create arcs from fusion place
Module: Editor
Catagory: Annoying
Severity: Unknown
Updated:
Submitter: John Moelgaard (jm@delta.dk)
Long: At a time it wan't possible to create an arc from a fusion place to a transition. However, it was possible to move an existting arc from the fusion place to the transition, copy the arc, and then "move it back". The problem disapeared when by saving-loading in interchange format.
Diagram:
Comments:

Work-around: Save and then load in the interchange format.
User advice:

Version: 4.0
Machine: Linux
Reproduced by:
X-ref:

Priority: Medium
Estimated work: Unknown
How to fix:
Status:
The Fix:
[000316b0070]

Short: ASK-CTL libarary doesn't load
Module: O-graph
Catagory: Unknown
Severity: Major
Updated:
Submitter: Laure Petrucci (petrucci@lsv.ens-cachan.fr)
Long: It seems that the ASKCTL library does not work anymore (error when loading Bi Bitarray.sml (types...)
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: Unknown
Estimated work: Hours
How to fix:
Status: Fixed in 4.0.2
The Fix: Add a length function to the ByteArray structure.
[000316b0069]

Short: Cut/Paste of AUX-elements crashes tool
Module: Editor
Catagory: Crash
Severity: Major
Updated:
Submitter: Baerbel Reuter (reuter@wiwi.uni-wuppertal.de)
Long: While using e.g. the polygon the software closed every time I do something, e.g. cut or paste.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: Linux
Reproduced by:
X-ref:

Priority: High
Estimated work: 1/2 Day
How to fix:
Status: Fixed in 4.0.2
The Fix:
[991223b0068]

Short: Creating a new chart sometimes overwrites old charts
Module: Editor
Catagory: Annoying
Severity: Major
Updated:
Submitter: Stefan Sorensen (sts@daimi.au.dk)
Long: Creating a new chart will sometimes invalidate some of the existing charts in the diagram.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by: Create TWO bar charts, switch to the simulator, update the charts, switch back to editor, create a new bar chart, switch to simulator.
X-ref:

Priority: High
Estimated work: 1 Day
How to fix:
Status: Fixed in 4.0.2
The Fix:
[991223b0067]

Short: The tool doesn't start on Solaris 2.6
Module: Editor
Catagory: Unknown
Severity: Major
Updated:
Submitter: Saurabh Sircar (sircars@logica.com)
Long: Starting version 4.0.1 on a Solaris 2.6 machine: Design/CPN Version 4.0 solaris p_bind: clnt_tli_create: RPC: Miscellaneous tli error - System error (No such file or directory)No such file or directory
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: Sun Sparc Solaris 2.6
Reproduced by:
X-ref:

Priority: High
Estimated work: Minutes
How to fix: Link the tool on a Solaris 2.6 machine.
Status: Fixed in 4.0.2
The Fix:
[991223b0066]

Short: Performance tool crashes on substitution transition
Module: Editor
Catagory: Crash
Severity: Minor
Updated:
Submitter:
Long: Selecting a substitution transition and then trying to create a data collector in the performance tool generates a segmentation fault.
Diagram:
Comments:

Work-around: Dont try to create datacollectors on substitute transitions.
User advice:

Version: 4.0
Machine: Unknown
Reproduced by:
X-ref:

Priority: Low
Estimated work: 1 Day
How to fix: The substitution transition is not known to the ML-side, so querying the ML-number is bad.
Status: Fixed in 4.0.2
The Fix: Check/filter the selection before creating the datacollectors.
[991223b0065]

Short: No reports from interactive simulations
Module: Simulator
Catagory: Annoying
Severity: Major
Updated:
Submitter:
Long: During interactive simulations, the resulting simulation report is empty.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: Unknown
Reproduced by:
X-ref:

Priority: Medium
Estimated work: Hours
How to fix:
Status: Fixed in 4.0.2
The Fix:
[991025b0064]

Short: Compile exceptions during syntax check
Module: Simulator
Catagory: Crash
Severity: Critical
Updated:
Submitter: Søren Christensen
Long: A Compile exception is raised when synteax checking global declaration box
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority: High
Estimated work: 1 Day
How to fix:
Status: Fixed in 4.0.1
The Fix:
[991025b0063]

Short: Bindings in guards not correct
Module: Simulator
Catagory: Corrupt diagram
Severity: Critical
Updated:
Submitter: Søren Christensen
Long: Binding in guards not allways correct
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: Unix
Reproduced by:
X-ref:

Priority: High
Estimated work: Days
How to fix:
Status: Fixed in 4.0.1
The Fix:
[991025b0062]

Short: Output tokens not placed correct on double arcs
Module: Simulator
Catagory: Annoying
Severity: Minor
Updated:
Submitter: Søren Christensen
Long: During simulation, output arc regions are not placed correct on double arcs
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by: Creating a diagram with double arcs.
X-ref:

Priority: Low
Estimated work: 1 Day
How to fix:
Status: Fixed in 4.0.1
The Fix:
[991025b0061]

Short: Some interchange files crashes the tool
Module: Editor
Catagory: Crash
Severity: Critical
Updated:
Submitter: Søren Christensen
Long: Loading diagrams in the interchange format sometimes crashes the tool.
Diagram: /users/sorenchr/Watch97a.2int
Comments:

Work-around:
User advice:

Version: 4.0
Machine: Linux
Reproduced by:
X-ref:

Priority: High
Estimated work: 1/2 Day
How to fix:
Status: Fixed in 4.0.1
The Fix:
[991019b0060]

Short: Interchange format version numbers are incorrect
Module: Editor
Catagory: Annoying
Severity: Minor
Updated:
Submitter: Søren Christensen
Long: The tool generates a line like
when saving as interchange.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by: Save any diagram as interchange
X-ref:

Priority: Medium
Estimated work: Minutes
How to fix: Find where the interchange code read the version number.
Status: Fixed in 4.0.1
The Fix:
[991007b0059]

Short: Change marking on empty place crashes the tool
Module: Simulator
Catagory: Crash
Severity: Critical
Updated:
Submitter: Stefan Sørensen
Long: When selecting change marking on empty places, the tool crashes.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by: Enter the simulator, select an empty place, and select change marking.
X-ref:

Priority: High
Estimated work: 1 Day
How to fix:
Status: Fixed in 4.0.1
The Fix:
[991007b0058]

Short: Loading non-valid simulator state
Module: Simulator
Catagory: Crash
Severity: Minor
Updated:
Submitter: Stefan Sørensen
Long: When selecting loading a file that isn't a valid state into the simulator, the tool will crash when the editor is reentered.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by: Enter the simulator, select load state, select a file that isn't a valid state, and select enter editor.
X-ref:

Priority: Medium
Estimated work: Unknown
How to fix:
Status:Unable to reproduce in version 4.0.4.
The Fix:
[991007b0057]

Short: Curvature on arcs
Module: Editor
Catagory: Annoying
Severity: Minor
Updated:
Submitter: Stefan Sørensen
Long: Arc curvature isn't applied to segmented arcs.
Diagram:
Comments:

Work-around: Open the shape attributes dialog and select OK.
User advice:

Version: 4.0
Machine: Unix
Reproduced by: Create a segmented arc.
X-ref:

Priority: Low
Estimated work: Days
How to fix:
Status: Fixed in 4.0.1
The Fix:
[991007b0056]

Short: ML-exceptions are not informative
Module: Simulator
Catagory: Annoying
Severity: Minor
Updated:
Submitter: Stefan Sørensen
Long: When an unhandled exception occurs, no info is gives about the nature of the exception.
Diagram:
Comments:

Work-around:
User advice:

Version: 4.0
Machine: All
Reproduced by:
X-ref:

Priority:Low
Estimated work:1 Day
How to fix: Find the place where unhandled exceptions are reported and add the exception name.
Status:
The Fix:
[990128b0055]

Short: Bad bounding box in EPS file
Module: Editor
Catagory: Annoying
Severity: Minor
Updated:

Submitter: Laure Petrucci
Long: When saving a small diagram into an EPS file, a large space is included in the boundingbox if the drawing is clode to the page border (e.g., drawing close to the bottom page border, space on top of the drawing). If the drawing is in the middle of the page, it is OK.
Diagram:
Comments:

Work-around:
User advice:

Version: 3.1.1
Machine: Sun Sparc Solaris
Reproduced by:
X-ref:

Priority: Medium
Estimated work: Hours
How to fix:
Status: Fixed
The Fix:
[981210b0054]

Short: Crash when loading interchange file
Module: Editor
Catagory: Crash
Severity: Critical
Updated:
Submitter: Regnar Bang Lyngsø
Long: On certain diagrams Design/CPN crashes when loading model from textual interchange file
Diagram: /users/sorenchr/MIP.txt
Comments:

Work-around:
User advice:

Version: 3.1.1
Machine: Sun Sparc Solaris 2.6
Reproduced by: Load the file above
X-ref: [981210b0054]

Priority: High
Estimated work: Hours
How to fix: Isolate the structure which causes the crash and fix the corresponding code.
Status: Fixed in 3.1.2.
The Fix: A recompilation cured the problem
[981201b0053]

Short: Regions do no inherit colour attributes from parent.
Module: Editor
Catagory: Confusing
Severity: Minor
Updated:
Submitter: Regnar Bang Lyngsø (rblyngso@daimi.au.dk)
Long: In the tool you can choose whether or not a region shall inherit the colour attributes of the parent. Regardless what you choose the region has the de fault attributes when created.
Diagram:
Comments:

Work-around: After you have created the region, manually change the colours of the region created.
User advice:

Version: 3.1
Machine: UNIX
Reproduced by: Create a place. Press ALT-7 (Graphic Attributes) Choose some other colours. Create a corresponding name region. Select the name region. Press ALT-9 (region attributes). Specify "Color on creation"->"As Parent". Choose "Save" Select "Diagram" and choose "OK" Delete the region and create a new name region. Observe that the region hasn't inherited the colour settings.
X-ref: [981201b0053]

Priority: Low
Estimated work: Minutes
How to fix: Find the place in the code where the region colours are inherited on the Mac platform. Set the colours in a similar way on the UNIX platform.
Status: Fixed in 3.1.1
The Fix: See above
[981201b0052]

Short: Application crashes when trying to print with Master Page
Module: Editor
Catagory: Crash
Severity: Critical
Updated:
Submitter: Lars Michael Kristensen
Long: With certain models Design/CPN crashes during print. This happens if you use a master page and try to print a selected set of pages.
Diagram:
Comments:

Work-around: Dont' use master page
User advice:

Version: 3.1
Machine: Sun Sparc Solaris < 2.6
Reproduced by:
X-ref: [981201b0052]

Priority: High
Estimated work: Hours
How to fix: Fix the master page print code
Status: Fixed in 3.1.1
The Fix:
[981102b0051]

Short: Unable to bind in interactive simulations with large bindings
Module: Editor
Catagory: Confusing
Severity: Major
Updated:

Submitter: Regnar Bang Lyngsø (rblyngso@daimi.au.dk)
Long: When trying to bind with a binding consisting of more than approximately 32K characters the following error is reported:

"An instance reference variable has been used with the wrong type in a code region. We propose that you call Enter Editor or Initial State."
Diagram: /users/khm/DesignCPN/TechSupport/Boeing/Generic3
Comments:


Work-around: Avoid using large markings
User advice:

Version: 3.1
Machine: UNIX
Reproduced by: Load the model described above. Select the input file to be Input.txt in the same directory when firing the transition "Ask User for File Name". Now bind the other transition.
X-ref: [981125b0051]

Priority: Medium
Estimated work: 1 Day
How to fix: Find out where the large marking causes problems.
Status: Fixed
The Fix: Several places in the code the binding length was limited by the size of a signed short int (32768 on the supported platforms). Furthermore it was limited elsewhere by the size of a short int (65536). Now the size is limited by a signed int (2.147483e+09).
[981102b0050]

Short: Crash after change in Page Setup (Solaris2.6)
Module: Editor
Catagory: Crash
Severity: Minor
Updated:

Submitter: Lisa Wells (wells@daimi.au.dk)
Long: The tool crashes if one makes a change in Page Setup, chooses OK, and then tries to open the File menu after the dialog box has been closed but before the graphics have been updated.
Diagram: /users/wells/speciale/CpnWeb/ver1.3Perf/CpnWeb1.3.1Perf
Comments: This apparently only happens if you are running the tool on a Solaris 2.6 remotely from an HP host. (rblyngso@daimi.au.dk)

Work-around: Do not run the cpn application on a Solaris 2.6 when you are using an HP-UX machine.
User advice:

Version: 3.1
Machine: Solaris/HP-UX
Reproduced by: See above.
X-ref: [981119b0050]

Priority: Low
Estimated work: Unknown
How to fix: Start the program in a debugger from a HP-UX host and find out where the application crashes.
Status: Not fixed.
The Fix:
[981102b0049]

Short: Text and fill colour not reset (single objects only)
Module: Editor
Catagory: Harmless
Severity: Minor
Updated:

Submitter: Lisa Wells (wells@daimi.au.dk)
Long: Text colour is not reset to black when Reset is chosen in the Graphic Attributes dialog box. After chosing OK, the text colour is unchanged. Selecting the Graphic Attributes box again shows that both the text and fill colour have not been reset. This is true when only one object is selected, i.e. not in group mode.
Diagram:
Comments:

Work-around: Manually set text and fill colour to black.
User advice:

Version: 3.1
Machine: UNIX
Reproduced by: Create an object, fx a place. Set the line, fill and text colours to something other than black. Select the object - not in group mode. Choose Graphic Attributes dialog box. Click on Reset. Click on OK.
X-ref:

Priority: Low
Estimated work: Hours
How to fix: Find out how patterns are reset and copy that behaviour.
Status:
The Fix:
[981109b0048]

Short: Crash on unbound multiset output arc
Module: Simulator
Catagory: Crash
Severity: Major
Updated:

Submitter: Olaf Kummer (kummer@informatik.uni-hamburg.de)
Long: Let t be a transition that has an otherwise unused multiset variable on one of its output arcs. The simulator will crash if this transition fires. This will also happen if the multiset variable is output by a code region, but the code regions are disabled.
Diagram:
Comments:

Work-around:
User advice: Make sure multiset variables are always properly bound to some value.

Version: 3.1
Machine: Sun Sparc Solaris
Reproduced by: Generate a GlobDeclNode with color String = string; var x: String ms; Draw a transition, a place, and an arc from the transition to the place with a region inscribed x. Switch to simulator. Select transition. Call bind. Hit occur. Crash.
X-ref:

Priority: Medium
Estimated work:
How to fix:
Status:
The Fix:
[981102b0047]

Short: Cpndb.objTypes is still broken
Module: ML/OA
Catagory: Confusing
Severity: Minor
Updated:

Submitter: Kjeld H. Mortensen (khm@daimi.aau.dk)
Long: Cpndb.objTypes is still broken. Called with in input arc as objid it returns subtype ostInPort. This should have been a subtype for arcs instead.
Diagram:
Comments:

Work-around:
User advice: See X-ref.

Version: 3.1
Machine: Unknown
Reproduced by: Try calling the function on a double arc. Try calling CpnGetInfo on various kinds of arcs, just to take an example.
X-ref: [971216b0041]

Priority: Low
Estimated work: 1 Day
How to fix: dmo/cpndb.sml: Datatype objSubType should be exten ded with arc sub-types. Go through all ML source and fix every function depending on Cpndb.objTypes.
Status:
The Fix:
[981020b0046]
Short: Problems with reals in binding dialog.
Module: Simulator
Catagory: Annoying
Severity: Minor
Updated:
Submitter: Lars Michael Kristensen (kris@daimi.au.dk)
Long: In the bind dialog, when selecting a real, the corresponding transition might become be disabled due to loss of digits.
Diagram:
Comments:
Work-around: Don't use the bind dialog on multisets containg reals
User advice:
Version: 3.0.4
Machine: All
Reproduced by:
X-ref:
Priority: Medium
Estimated work: Unknown
How to fix:
Status: Fixed in 3.1
The Fix: Strings are now truncated.
[981020b0045]
Short: Long page names causes Occurence Graph Tool to crash during Enter OCC/OEOS
Module: O-graph
Category: Crash
Severity: Minor
Updated:
Submitter: Lars Michael Kristensen (kris@daimi.au.dk)
Long: If you give the prime page too long a name it causes cpn304/oeos101 (linux) to seg-fault at step 1 (1:10 reading net information) of switching into the OCC tool.
Diagram:
Comments:
Work-around: Avoid long page names.
User advice:
Version: 3.0.4
Machine: All
Reproduced by:
X-ref:
Priority:
Estimated work:
How to fix:
Status: Fixed in 3.1
The Fix:
[980325b0044]
Short: Displaying large markings
Module: Design/OA
Category: Crash
Severity: Major
Updated: Wed Mar 25 12:59:36 MET 1998
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: Markings which have a large textual representation in the marking region may crash the tool. The exact limit is unknown but when the textual representation becomes larger than 32-64kb then crashes are reproducable.
Diagram: http://graviton.levels.unisa.edu.au/cpn/problem/
Comments:
Work-around: While in the editor, delete the marking region such that it is not displayed once returning to the simulator. Warning: double clicking on the key region will crash the tool.
User advice:
Version: 3.0.4
Machine: All
Reproduced by: Make a colour set declaration which has more than 10-20000 different elements. Create an initial marking which is textually large. The easiest way of doing this is to use the declare ms feature.
X-ref:
Priority: High
Estimated work: 1/2 Day
How to fix: Ensure that text in marking regions is truncated. At the truncation point insert "..." (or similar) as a visualisation que to the user.
Status: Fixed in 3.1
The Fix:
[980119b0043]
Short: Back- and foreground colours not changeable for pages
Module: Design/OA
Category: Annoying
Severity: Minor
Updated:
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: The X-resource for changing back- and foreground colours only have influence on the menu bar.
Diagram:
Comments:
Work-around: Use the -bg and -fg command line arguments instead.
User advice:
Version: 3.0.4
Machine: UNIX
Reproduced by: The X-resources in question are:
Cpn*Background
Cpn*Foreground
X-ref:
Priority: Medium
Estimated work: 1/2 Day
How to fix:
Status:
The Fix:
[980102b0042]
Short: Diagram transfer from Linux and hierarchy page
Module: Editor
Category: Confusing
Severity: Minor
Updated: Fri Jan 2 12:52:47 MET 1998
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: Loading a Linux diagram with, e.g., the Solaris version results in a hierarchy page where page nodes appears to be auxiliary objects.
Open page (Page Menu) does, however, create a new hierarchy page.
Diagram:
Comments:
Work-around:
User advice:
Version: 3.0.4
Machine: UNIX
Reproduced by: Create a diagram on a Linux machine and save it. Then load the diagram with the Solaris version. Open the hierarchy page and notice that an extra hierarchy page node is present (page number is 10011). Open this page and notice that all "page nodes" have type auxiliary node.
X-ref:
Priority: Medium
Estimated work: Days
How to fix:
Status: Unable to reproduce in version 4.0.4.
The Fix:
[971216b0041]
Short: Cpndb.objTypes is broken
Module: ML/OA
Category: Annoying
Severity: Minor
Updated: Fri Jan 2 12:52:35 MET 1998
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: The function Cpndb.objTypes does not work anymore. It returns wrong object types for many kinds of objects, such as arcs. It even raises exceptions for some cases such as double arcs.
Unfortunately many functions in "Diagram Functions" of the manual "Programmer's Manual" are using objTypes.
Diagram:
Comments: Not tested on Mac.
Work-around:
User advice: Try using functions from "Graphical Functions" instead. They do not depend on objTypes.
Version: 3.0.4
Machine: All
Reproduced by:
X-ref:
Priority: Medium
Estimated work: Hours
How to fix: Cpndb.objTypes should not raise exceptions. Instead it should return "unknown" type. Fix a number of numerical constants.
Status: Fixed in 3.1
The Fix:
[971209b0040]
Short: Scroll bars in change marking and bind dialogs
Module: Simulator
Category: Annoying
Severity: Minor
Updated: Fri Dec 12 14:25:58 MET 1997
Submitter: Lars Michael Kristensen (kris@daimi.aauu.dk)
Long: The scroll bar in the field for entering data values in the bind dialog does not work. The scroll bar is present but attemp to use it has no effect. The field for entering a marking in the change marking dialog suffers from the same problem.
Diagram:
Comments:
Work-around: Do not put more text into the field than fits the predefined size.
User advice:
Version: 3.0.4
Machine: Sun Sparc Solaris
Reproduced by: Put more text into the field than fits the predefined size.
X-ref:
Priority: Medium
Estimated work: 1 Day
How to fix:
Status:
The Fix:
[971209b0039]
Short: Generation of Timed Occurrence Graphs
Module: O-graph
Category: Annoying
Severity: Critical
Updated: Fri Dec 12 14:20:20 MET 1997
Submitter: Lars Michael Kristensen (kris@daimi.au.dk)
Long: The calculation of successor states in a timed occurrence graph are wrong for (some) CPN models. The problem is that states may get more successor states which than they should have.
Diagram: /users/desgncpn/techsupport/bugs/nets/971209b0039
Comments:
Work-around:
User advice:
Version: 3.0.4
Machine: All
Reproduced by: In the diagram referred to above node 7 in the occurrence graph has two successors -- there should only be one.
X-ref:
Priority: High
Estimated work: Minutes
How to fix: The problem is caused by the binding function in the simulator. There may be duplicates in the list of enabled binding elements. One solution is to remove such duplicates before calculating successors in the occurrence graph.
Status: Fixed in 3.1
The Fix:
[971208b0038]
Short: Drag of arc endpoints
Module: Editor
Category: Annoying
Severity: Medium
Updated: Fri Dec 12 14:08:54 MET 1997
Submitter: Kurt Jensen (kjensen@daimi.au.dk)
Long: When an endpoint region is selected (by shift click) the editor enters drag mode, but immediately leaves it (on a mouse up). Instead it should behave as the ordinary drag command. There is also a small difference in the way the editor works for new endpoint regions versus existing endpoint regions. Finally the SHIFT modifier key does not work when DRAG is called for an arc. It should select the "opposite endpoint".
Diagram: Ref to separate e-mail, ftp or WWW address, or none
Comments:
Work-around: Explicitly enter DRAG mode (after selection of endpoint).
User advice:
Version: 3.0.4
Machine: UNIX
Reproduced by:
X-ref:
Priority: Medium
Estimated work: 1 Day
How to fix:
Status:
The Fix:
[971208b0037]
Short: Enter Occ Graph at breakpoint
Module: Simulator
Category: Confusing
Severity: Minor
Updated: Fri Dec 12 14:04:09 MET 1997
Submitter: Kurt Jensen (kjensen@daimi.au.dk)
Long: Enter Occ Graph should not be possible at simulation breakpoint
Diagram:
Comments:
Work-around:
User advice:
Version: 3.0.5
Machine: All
Reproduced by:
X-ref:
Priority: Medium
Estimated work: 1/2 Day
How to fix:
Status:
The Fix:
[971123b0036]
Short: Use of Probability Distribution Library causes name clash
Module: Design/CPN
Category: Annoying
Severity: Minor
Updated: Sun Nov 23 12:47:55 MET 1997
Submitter: Lars Michael Kristensen (kris@daimi.au.dk)
Long: The library of probability distribution function defines a function random : unit -> real. Depending on the color set definition CPN ML may also define a function random : 'a ms -> 'a. This causes the syntax check to fail.
Diagram:
Comments:
Work-around: Rename function random to e.g, Stat'random in the probability distribution library.
User advice:
Version: 3.0.4
Machine: All
Reproduced by: In global declaration box write: 
  color INT = int with 1..2 declare ms
	  use "ranrandomgen.sml";
	  use "statdistributions.sml";

X-ref:
Priority: Medium
Estimated work: Minutes
How to fix: Encapsulate the library in a suitable structure and/or rename random in the library.
Status: Fixed in 3.1
The Fix: Renaming and Library put in a structure with corresponding signature.
[971123b0035]
Short: Timed simulation fails with certain colour set definitions
Module: Simulator
Category: Annoying
Severity: Major
Updated: Sun Nov 23 12:45:57 MET 1997
Submitter: Lars Michael Kristensen (kris@daimi.au.dk)
Long: A colour set decleration like 'color X = with x timed;' in a timed CPN model has the effect that the simulator is unable to bind variables of transitions correctly.

The problem may potentially arise with other one character constructor like 'x' above in connection with timed CPN models
Diagram:
Comments:

Work-around: Modify the colour set declaration to 'color X = with xx timed'.
User advice:
Version: 3.0.4
Machine: All
Reproduced by:
X-ref:
Priority: Medium
Estimated work: 1 Day
How to fix: Check for use of single character patterns in code generated for timed simulations.
Status: Fixed in version 3.1
The Fix:
[970918b0034]
Short: Unused variables in code segment output tuple
Module: Simulator
Category: Confusing
Severity: Major
Updated: Thu Sep 18 15:17:36 METDST 1997
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: Suppose you have a code segment where the output tuple contains a variable not used in any inscription around the transition in question. Although this in principle is legal the tool fails in generating simulation code for the given transition (CPN'BFxx and CPN'SACxx are not generated). On top of this, the tool does not report the error. Once in the simulator, the transition is forever disabled (and the simulator may not even update time correctly for timed simulations).

If the variable, of the kind just described, is not declared in the global declaration node, then a peculiar syntax error appears, which is not very useful for the user.
Diagram:
Comments:

Work-around: Be sure that all variables declared in the output part of a code segment are used somewhere in inscriptions around the given transition. Otherwise erase unused variables.
User advice:
Version: 3.0.4
Machine: All
Reproduced by: Just make a code segment with a variable not used in any inscription around the transition. Remember to declare the variable in the global declaration node.
X-ref:
Priority: High
Estimated work: 1 Day
How to fix:
Status: Fixed in 3.1
The Fix: Possible fix: Make the tool report unused variables as a syntax error. In inscripParse.sml, replace the replace the function CheckVar with: 
fun CheckVar ()
= (TabIn1of3(CPN'env.varip,CPN'env.varia,
CPN'env.varoa,CPN'env.varg);
TabNotInTab(CPN'env.varop,CPN'env.varia);
TabNotInTab(CPN'env.varop,CPN'env.varg);
TabNotInTab(CPN'env.varop,CPN'env.varip);
TabInTab(CPN'env.varop,CPN'env.varoa)) (* fix *)
handle CPN'userexcp with elm
=> CPN'out_use_err
("Illegal use of CPN variable in codesegment: "^elm)
-Søren
(See ~cpn/DeveloperNotes/bugfixes/970918b0034.)
[970609b0033]
Short: Trouble with unit in union colorsets
Module: SML/NJ
Category: Harmless
Severity: Minor
Updated: Mon Jun 9 11:46:47 MET DST 1997
Submitter: Claus Reinke (cr@informatik.uni-kiel.de)
Long: Declaration Node: 
  color DATA = int;
  color NO_DATA = unit;
  color UNION = union data:DATA + no_data:NO_DATA;
Net:
  • 1 place (colorset: UNION, initial marking: 1`(no_data ()))
  • 1 transition
  • 1 arc (from place to transition, arc inscription: no_data ())
Error Dialog (switch to simulator, creating instances):
Returning to Editor. Error in initial
marking on Page # 1.^MError: Compiler
bug: PPVal.decon - constant datacon in decon
Unhandled Exception: Error
Diagram:
Comments:
Work-around: The problem is quite sensive to modifications. Each of the following makes it disappear:
  • remove initial marking (in this case, the marking cannot be changed to include no_data ())
  • change UNION to color UNION = union no_data:NO_DATA;
  • change UNION to color UNION = union data:DATA + no_data; (adapt initial marking and arc inscription)

User advice: Don't use unit in tagged unions (use setless tags instead).
Version: 3.0.4
Machine: Sun Sparc Solaris
Reproduced by:
X-ref:
Priority: N/A
Estimated work: N/A
How to fix: This bug will disappear when we upgrade to the SML97 compiler of SML/NJ.
Status:No present in version 4.x.
The Fix:
[970520b0032]
Short: Naming conflicts when defining a function app
Module: Simulator
Category: Annoying
Severity: Minor
Updated: Tue May 20 11:20:18 MET DST 1997
Submitter: Claus Reinke (cr@informatik.uni-kiel.de)
Long: Having a function definition like
fun app n = 0;
in the global declaration node results in the message "no more enabled transitions" when attempting an interactive simulation and in "an exception has been raised" when attempting an automatic run.
This is hard to find in large diagrams and even harder to explain to students (why are there any interactions between names of user-defined functions and the implementation?).
Diagram:
Comments:
Work-around: Don't define a function app
User advice:
Version: 3.0.4
Machine: Sun Sparc Solaris
Reproduced by: Just declare a function called app in the global declaration node.
X-ref:
Priority: High
Estimated work: 1/2 Day
How to fix: Move the app function into the CPN name space. There may be other functions with the same problem.
Status: Fixed in 3.1
The Fix: Few changes in cpnBind.sml and basicDefs.sml.
[970428b0031]
Short: ML daemon loses ability to accept connections
Module: ML daemon
Category: Annoying
Severity: High
Updated: Mon Apr 28 11:36:31 MET DST 1997
Submitter: Mike Hamrick (mhamrick@mitre.org)
Long: After a few months of robust operation, we have started to have problems connecting to the ML daemon when checking syntax or entering the simulator. The error message is "Network not responding. Connection with the host could not be established." Killing and restarting the daemon fixes the problem temporarily, but the failure returns, usually within an hour or two. The first such failure occurred on Thursday, April 17, and it has been occurring ever since. Before that, we had been using CPN intensively for a few months without any problems. The problem does not appear to be related to a particular model, and reinstalling CPN had no effect. Extract from log file:
991: njsmld: starting at Thu Apr 24 10:05:00 1997
991: Error in receiving Login message!
Diagram:
Comments: We need to make a more verbose version of cpnmld. -Kjeld
Work-around: If cpnmld is started automatically by a script at boot time, then try starting cpnmld manually as root.
User advice:
Version: 3.0.2
Machine: Sun Sparc Solaris
Reproduced by:
X-ref:
Priority: High
Estimated work: A Week
How to fix:
Status:
The Fix:
[970304b0030]
Short: Missing space between names and bounds in report
Module: O-graph
Category: Annoying
Severity: Minor
Updated: Tue Mar 4 17:16:41 MET 1997
Submitter: Michael Nielsen (mic@daimi.au.dk)
Long: When using long page/node names, there is no space between the page number and the bounds.
Diagram:
Comments:
Work-around: Don't use too long names
User advice:
Version: 3.0.4
Machine: Sun Sparc Solaris
Reproduced by: Generate a report of the OG from the telephone example.
X-ref:
Priority: Low
Estimated work: 1 Hour
How to fix:
Status: Fixed in 3.1
The Fix: A newline is inserted whenever names are too long.
[970303b0029]
Short: Problem with write to closed pipe
Module: Design/CPN
Category: Crash
Severity: Major
Updated: Mon Mar 3 14:07:24 MET 1997
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: If the ML process dies - e.g. it can be killed by the user and you afterwards invoke a command which needs the ML process, Design/CPN will die from a SIGPIPE signal.
Diagram:
Comments:
Work-around:
User advice: Do not terminate the ML process with the UNIX kill command.
Version: 3.0.4
Machine: UNIX
Reproduced by:
X-ref:
Priority: Medium
Estimated work: 1 Day
How to fix: Check if it is sufficient to ignore the SIGPIPE signal.
Status: Fixed in 3.1
The Fix: The signal is handled and the user is prompted for saving the diagram. Design/CPN then quits.
[970303b0028]
Short: Wrong result for LowerMultiSet
Module: O-graph
Category: Confusing
Severity: Major
Updated: Mon Mar 3 10:19:12 MET 1997
Submitter: Michael Nielsen (mic@daimi.au.dk)
Long: In some cases the LowerMultiSet reported is not correct!! This is the case both "Save Report" and if you call LowerMultiSet directly.
Diagram:
Comments:
Work-around: Evaluate the following ml code after entering the OG tool. 
fun CPN'LowerMultiSet (CPN'pimf)
    = let
    fun CPN'lb (_,empty) = empty
    | CPN'lb (CPN'ms1,CPN'ms2)
    = let
    fun CPN'LocLb empty = empty
    | CPN'LocLb ((CPN'coef,CPN'col)!!CPN'ms1)
    = (case min(CPN'coef,CPN'op.cf(CPN'col,CPN'ms2))
    of 0 => CPN'LocLb CPN'ms1
    | CPN'coef => CPN''add(CPN'coef`CPN'col,
    (CPN'LocLb CPN'ms1)))
    in
    CPN'LocLb CPN'ms1
    end
    in
    SearchAllNodes(fn _ =>true, CPN'pimf,
    (CPN'pimf InitNode), CPN'lb)
    end;
    
    overload LowerMultiSet : ((Node -> 'b) -> 'a)
    as CPN'LowerMultiSet and
    CPN'LowerIntegerTimedMultiSet and CPN'LowerRealTimedMultiSet;

User advice:

Version: 3.0.4
Machine: UNIX
Reproduced by: Take the ressource example without cycle counter, and check the lower multiset bound for place A. -Søren
X-ref:
Priority: High
Estimated work: Minutes
How to fix: Substitute CPN'LowerMultiSet in OGProps.sml with the above definition.
Status: Fixed in 3.1
The Fix:
[970226b0027]
Short: Cut/Copy/Paste of syntax error text link
Module: Design/OA
Category: Crash
Severity: Major
Updated: Wed Feb 26 10:41:11 MET 1997
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: If you cut/paste text including text links, like "<<23>>", designCPN dies with a segmentation fault.
Diagram:
Comments:
Work-around:
User advice: Do not copy/cut/paste/delete text from the error boxes.
Version: 3.0.4
Machine: UNIX
Reproduced by: The problem can be reproduced as follows: 1. New diagram. 2. Create global declaration node. 3. Write xxx or other garbage in the global declaration node. 4. Perform a syntax check. 5. Select a section of text including an error text link. 6. Cut. 7. Paste --> Bang!! Segmentation fault.
X-ref:
Priority: Medium
Estimated work: Days
How to fix: The problem could be in the cut/copy routine. There must never be text links on the clipboard.
Status: Unable to reproduce in version 4.0.4.
The Fix:
[970220b0026]
Short: Invoking Parent Object in new diagram
Module: Editor
Category: Crash
Severity: Minor
Updated: Thu Feb 20 09:41:49 MET 1997
Submitter: Tommy Underbjerg Andersen (tommya@daimi.au.dk)
Long: Invoking Parent Object from the Makeup menu in new diagram crashes the tool.
Diagram:
Comments:
Work-around:
User advice: Don't do it!
Version: 3.0.4
Machine: UNIX
Reproduced by: Start cpn; create a new diagram; select "Parent Object" in the "Makeup" menu; bang!
X-ref:
Priority: Low
Estimated work: 1 Day
How to fix: The menu entry should not be enabled - but the C-routine should not fail either. -Søren
Status: Fixed in 3.1
The Fix: The C routine was fixed.
[970214b0025]
Short: Update period in charts and reals
Module: Design/CPN
Category: Annoying
Severity: Minor
Updated: Fri Feb 14 10:34:42 MET 1997
Submitter: Adel Ben Mnaouer (adel@sekiguchilab.dnj.ynu.ac.jp)
Long: Specifying the update period in charts as xxx.0 does not work when simulation time is of type real.
Diagram:
Comments:
Work-around: As the update period try xxx.01 instead of xxx.0.
User advice:
Version: 3.0.4
Machine: UNIX
Reproduced by: Set simulation time to real. Make a chart and set the update period to, e.g., 20000.0. This will erroneously generate a syntax error.
X-ref:
Priority: Low
Estimated work: 1/2 Day
How to fix: The chart ML-code generation should not convert update periods of the form xxx.0 to integers.
Status: Fixed in 3.1
The Fix: Created UT_RealMLStr in ChartUtils.c to fix the problem in CTSSyntaxCheck.c (two calls of UT_RealStr relaced with the new function).
[970210b0024]
Short: ML-engine started even if saved state is non-existing
Module: Unknown
Category: Confusing
Severity: Minor
Updated: Mon Feb 10 13:23:25 MET 1997
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: Given a diagram saved as a state, but with the ML-image erased. If loaded and simulator entered, then Design/CPN will start ML even though the ML-state is erased from the original diagram. This means that the simulator ends up in an inconsistent state without error notification.
Diagram:
Comments: There should be a general cleanup of the handling of error situations when the diagram ML-image does not exists or when the host-name is unknown.
Work-around: Once in the simulator, then immediately proceed to the editor. Save diagram and regenerate ML-image from scratch.
User advice: Be careful if transferring a state to a different machine on a network not reachable from the original machine used. Avoid erasing ML-image of saved states.
Version: 3.0.4
Machine: UNIX
Reproduced by: Take a saved state and erase the ML-image. Then load the diagram with the purpose of entering the simulator.
X-ref:
Priority: Low
Estimated work: 1 Day
How to fix: The DMO is probably not handling non-existing machine names correctly as taken from the ML Configurations. At least it should not start the default ML-image on the local machine without warning if the ML Configurations says otherwise.
Status: Fixed.
The Fix:
[970130b0023]
Short: Problem with printing for some PS printers
Module: Design/OA
Category: Annoying
Severity: Minor
Updated: Thu May 22 14:15:49 MET DST 1997
Submitter: Torben Haagh (torben@metasoft.com)
Long: For some printers the PostScript code is printed - as text - instead of the actual diagram. The problem is that a space is inserted between "%!" and the newline in the first line of the PS output.
Diagram:
Comments: There should be a general cleanup of the generated PostScript on UNIX. There are many minor discrepancies between the screen graphical model (Design/OA) and the PostScript model. One example is that on screen, thickness of objects grows inwards only, while in PostScript thickness grows half, inwards half outwards. -Kjeld
Work-around: Change the print command to remove the space character before sending the output to the printer: setenv DesignPrintCommand "sed '1s/%\! /%\!/' | lpr"
User advice:
Version: 3.0.4
Machine: UNIX
Reproduced by:
X-ref:
Priority: Low
Estimated work: Minutes
How to fix: Change the line: fprintf(Local_PSFileP, "%%! "); in pstrans.c. We should probably follow the standard and print the line "%!PS-Adobe-3.0".
Status: Fixed in 3.1
The Fix: See docs/projects/REL3_1/TASK_EPS
[970109b0022]
Short: Empty label regions
Module: Editor
Category: Corrupt diagram
Severity: Major
Updated: Thu Jan 9 16:51:08 MET 1997
Submitter: Mat Farrington (M.Farrington@UniSA.Edu.Au)
Long: Create a CP-net on a PPC Mac running 3.0.5 so that it resembles the following diagram:
http://graviton.levels.unisa.edu.au/~mafarrin/archive/fred.ps
In editor mode click on the top place (the one with colorset FRED and initial marking 2`b) and then go the the "CPN" menu and select "CPN Region". Select the "Place Name" option and click on the place so that a text cursor appears. But now double click on the same place and it DISAPPEARS! From this point edit the net so that it resembles the one in:
http://graviton.levels.unisa.edu.au/~mafarrin/archive/bloggs.ps
and then syntax check it. You will find that the bits that DISAPPEARED are still there but hidden and have damaged the model.
Diagram: ~desgncpn/bugs/ps/{fred.ps,bloggs.ps}
Comments: The bug can be generalised: Create a label region (such as a name region of places) without any text. This will result in a corrupt diagram. -Søren
Work-around: Do not create label regions without any text.
User advice: Be careful not to click on a lot of different objects once in label region text creation mode. Do not delete a label region by erasing the text. Delete the label region object instead.
Version: <= 3.0.5
Machine: Macintosh
Reproduced by: Just create a name region of a place without any text.
X-ref:
Priority: High
Estimated work: 1/2 day
How to fix:
Status: Fixed in 3.1
The Fix: Made a change in an object selection filter in the kernel. -Søren
[970107b0021]
Short: Problem in the Macintosh PPC port
Module: Design/CPN
Category: Crash
Severity: Critical
Updated: Tue Jan 7 13:44:34 MET 1997
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: We have found, and fixed, the following problems in the Power PC port of Design/CPN 3.0.4:
- Print did not work
- In the simulator the windows was not allways updated right
- The windows scrolls selected objects to the right.
Diagram:
Comments:
Work-around:
User advice:
Version: 3.0.4
Machine: Macintosh PPC
Reproduced by:
X-ref:
Priority: High
Estimated work: A Week
How to fix:
Status: Fixed in 3.0.5
The Fix:
[970107b0020]
Short: CPN regions not updated properly
Module: Editor
Category: Confusing
Severity: Major
Updated: Tue Jan 7 13:44:40 MET 1997
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: If a CPN region creation mode, e.g., color set creation mode is terminated by selecting another window then the last region is not updated properly.
Diagram:
Comments:
Work-around: If you use the "get info" command from the edit menu and find a region which is not properly registered, select it in text mode.
User advice:
Version: 3.0.4
Machine: Macintosh M68
Reproduced by:
X-ref:
Priority: High
Estimated work: 1 Day
How to fix:
Status: Fixed in 3.0.5
The Fix:
[961211b0019]
Short: Inappropriate location of ML-daemon log file
Module: ML daemon
Category: Harmless
Severity: Minor
Updated: Wed Dec 11 11:25:52 MET 1996
Submitter: Jürgen Sahlberg (sahlberg@fe.uni-bremen.de)
Long: The location of the cpnmld log file should be moved to a better location as the current place (/usr/tmp) is non-standard.
Diagram:
Comments:
Work-around: Make a symbolic link from /usr/tmp to /var/tmp.
User advice:
Version: 3.0.2
Machine: Linux (UNIX?)
Reproduced by: N/A
X-ref: http://www.pathname.com/fhs/
Priority: Low
Estimated work: Minutes
How to fix: I'll suggest that we use the catalog /var/tmp instead of /usr/tmp which seems to be non-standard (see x-ref). The alternatives /var/run and /var/log are not appropriate as the seem only to be writable by root. The catalog /var/tmp is writable also by users which is what we want. -Kjeld
Status: Fixed in 3.1
The Fix: Default is now: /var/tmp. Location argument to cpnmld.
[961206b0018]
Short: More ML keywords should be reserved CPN ML keywords
Module: Editor
Category: Harmless
Severity: Minor
Updated: Fri Dec 6 13:35:43 MET 1996
Submitter: Kurt Jensen (kjensen@daimi.au.dk)
Long: If I use "sig" in as a constructor, e.g., "color A = union sig:signal + ..." then I get a meaningless syntax error.
Diagram:
Comments:
Work-around:
User advice:
Version: 3.0.3
Machine: All
Reproduced by: Just use Kurt's example above.
X-ref:
Priority: Low
Estimated work: Minutes
How to fix: Add "sig" to the list of reserved words.
Status: Fixed in 3.0.4
The Fix: Together with "sig" the following reserved words should be added: "eqtype", "functor", "include", "sharing", "signature", "struct", and "structure". I.e., reserved words which are not in the ML core language.
[961203b0017]
Short: Macintosh Finder info wrong
Module: Editor
Category: Confusing
Severity: Minor
Updated: Tue Dec 3 12:37:26 MET 1996
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: The Finder info (colour, visibilty, type) are set randomly for the ".DB" file when saving a new diagram. Seems to be mainly a problem for PowerPC Macs.
Diagram:
Comments:
Work-around: Create a (any type of) file called "xx.DB" before saving the diagram "xx". Then the finder info will be copied from this file, and it will be renamed to "xx.DB~".
User advice:
Version: 3.0.3
Machine: Macintosh
Reproduced by:
X-ref:
Priority: Medium
Estimated work: Hours
How to fix: Set default attributes of new files.
Status: Fixed in 3.0.4
The Fix:
[961203b0016]
Short: Occ Graph Tool and Hier Models (Linux)
Module: O-graph
Category: Crash
Severity: Critical
Updated: Tue Dec 3 11:22:34 MET 1996
Submitter: Renuka D. Rodrigo (rrodrigo@swin.edu.au)
Long: It seems that models containing Page Nodes (sub pages) crash on trying to enter the OGT. The status bar indicates "[1:10] Reading Net Information..." just before crashing with "segmentation fault". Further, I find that the same nets work fine and switch to OGT on SUN OS which I have temporary access to at Monash University.
Diagram:
Comments:
Work-around: None.
User advice: None. Use only one-page models ;-)
Version: 3.0.2
Machine: Linux
Reproduced by: It turns out the problem is in Cpndb.getTopMark, byte swapping of parmeters not performed properly. -Søren
X-ref:
Priority: High
Estimated work:
Actual work: 2 days
How to fix: Requires a new version for Sun in order to enable use of mixed platforms for graphical interface and ML processes.
Status: Fixed in 3.0.4.
The Fix: Change the "glue" level for both CPN ML and C. -Lars
[961114b0015]
Short: Page instance ML-function, inst, not working
Module: Simulator
Category: Annoying
Severity: Minor
Updated: Wed Dec 11 12:40:28 MET 1996
Submitter: Chris Howard (choward@intellistor.com)
Long: The inst ML-function for accessing the page instance number always returns 1.
Diagram:
Comments:
Work-around: Use a global fusion place containing an identifying token for each instance, and let a transition on each instance take exactly one token on the fusion place and store it locally on a different (non-fusion) place. Ensure that there is a sufficient amount of tokens for indentifying all instances. -Kjeld
User advice:
Version: 3.0.2
Machine: All
Reproduced by: Just call the function on different page instances of the same page.
X-ref:
Priority: Low
Estimated work: Days
How to fix:
Status: Fixed in 3.0.4
The Fix: The inst function has been removed.
[961110b0014]
Short: OG fails for Code Segment with output variables
Module: O-graph
Category: Annoying
Severity: Minor
Updated: Sun Nov 10 16:16:18 MET 1996
Submitter: Lars Jansen (m33@ifra.ing.tu-bs.de)
Long: If a Code Segment with output variables exists the exception "Bind" is raised.
Diagram: /users/desgncpn/bugs/jansen/testnet*
Comments:
Work-around:
User advice:
Version: 3.0.3
Machine: All
Reproduced by: See the supplied diagram.
X-ref:
Priority: Medium
Estimated work: 1 Day
How to fix: Propagate the full binding back from the CPN'OGO<ml> function. And change CalcSucc to handle the return value. Requires changes to OGCalcSucc.sml and Imagesfiles/OGTransEnabOccGen.sml.
Status: Fixed in 3.0.4
The Fix:
[961110b0013]
Short: Random System Errors (10&11) Occurs
Module: Unknown
Category: Crash
Severity: Critical
Updated: Tue Dec 3 13:09:08 MET 1996
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: There is a (known) problem with errors (10 & 11) beeing raised for newer PowerPC Based Macintosh. The problem exists for system version 7.5.3. Seems to happen especially when using "Modern Memory Managment", and imidiatly after a "save".
Diagram:
Comments:
Work-around:
User advice:
Version: 3.0.3
Machine: Macintosh
Reproduced by:
X-ref:
Priority: High
Estimated work: Unknown
Actual work: 3 weeks
How to fix: Change from Symantecs to Code Warrier development, system enabled debugging. It turned out to be a problem with Pascal/C string conversion. Also a bug for M68 based Macs.
Status: Fixed in 3.0.4
The Fix: Mainly a change of development environment, and testing of the new version.
[961107b0012]
Short: GetChangeMarkingCode ML function
Module: CPN ML
Category: Harmless
Severity: Minor
Updated: Wed Dec 11 12:39:39 MET 1996
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: The GetChangeMarkingCode function returns ML source code with a syntax error: there is a right bracket too much.
Diagram:
Comments:
Work-around:
User advice:
Version: 3.0.2
Machine: All
Reproduced by: Evaluate the following ML code in the simulator: usestring [GetChangeMarkingCode { mark="1`1", instid= (hd (GetPageInsts (DSStr_GetCurPage()))), placeid= DSUI_SelectObject{ objtype=0, override=false} } ];
Select a place with an integer colour set.
X-ref: [961107e0002]
Priority: Low
Estimated work: Minutes
How to fix: Find GetChangeMarkingCode in the file UserDB.sml and look at the local function removelast.
Status: Fixed in 3.0.4
The Fix:
[961021b0011]
Short: ML daemon not working with NIS+
Module: ML daemon
Category: Annoying
Severity: Minor
Updated: Mon Oct 21 21:54:49 MET DST 1996
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: The ML daemon (cpnmld) does not seem to work on UNIX systems which are running NIS+. The daemon can be started without problems, but the login/password procedure never succeeds.
Diagram:
Comments: Hard to test as we do not have NIS+ (and cannot get it installed).
Work-around: Each user should start their own cpnmld process and only use the ML-engine on the same machine where Design/CPN is running.
User advice: If many users run cpnmld locally on the same machine it is likely that port number clashes will occur. Check the log file in /usr/tmp to see if the daemon started correctly.
Version: 3.0.2
Machine: Sun Sparc Solaris
Reproduced by: Start a cpnmld on a remote machine an set ML Configuration Options accordingly. Start the ML-engine such that Design/CPN asks for login and password. The login procedure will fail.
X-ref:
Priority: Low
Estimated work: Days
How to fix: See the online man pages for NIS+.
Status:
The Fix:
[960912b0010]
Short: Bind Dialog not updated properly
Module: Simulator
Category: Confusing
Severity: Minor
Updated: Wed Dec 11 12:38:16 MET 1996
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: Sometimes the middle scroll list - included bindings - is not updated properly. The area is left white.
Diagram:
Comments:
Work-around: Force an update, e.g., by moving the dialog outside the screen.
User advice:
Version: 3.0.3
Machine: Macintosh
Reproduced by:
X-ref:
Priority: Medium
Estimated work: 1 Day
How to fix: Chech for possible conflicts with the Unix OA kernel updates.
Status: Fixed in 3.0.4
The Fix:
[960912b0009]
Short: ArgStackOverflow in Enter Occ Graph
Module: O-graph
Category: Annoying
Severity: Major
Updated: Wed Dec 11 12:38:45 MET 1996
Submitter: Hartmann Genrich (hartmann.genrich@gmd.de)
Long: During compilation of the OGA package, ESML may stop with an ArgStackOverflow.
Diagram:
Comments:
Work-around: Before Entering Occ Graph, evaluate 'CPN'CodeGenUtils.maxfunpatterns := 15;' or even better, put the line of SML in the global declaration node.
User advice:
Version: 3.0.3
Machine: Macintosh
Reproduced by:
X-ref:
Priority: High
Estimated work: Minutes
How to fix: CPN'CodeGenUtils.maxfunpatterns should have a more sensible value instead of the current one.
Status: Fixed in 3.0.4
The Fix: CPN'CodeGenUtils.maxfunpatterns:=15
[960906b0008]
Short: Persistent Macintosh Examine dialog
Module: Editor
Category: Annoying
Severity: Minor
Updated: Wed Dec 11 12:39:01 MET 1996
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: On the Macintosh there is an Examine entry in the Apple menu. If invoked a modal dialog appears which cannot be closed - even if the cancel button is pressed.
Diagram:
Comments:
Work-around:
User advice: Avoid using the Examine dialog.
Version: 3.0.3
Machine: Macintosh
Reproduced by: Just invoke the Examine dialog from the Apple menu. Observe that the cancel button does not have any effect.
X-ref:
Priority: Medium
Estimated work: Hours
How to fix: Remove the Examine menu entry completely.
Status: Fixed in 3.0.4
The Fix:
[960902b0007]
Short: CPN FAM Preferred Size
Module: Design/CPN
Category: Annoying
Severity: Minor
Updated: Mon Sep 2 10:17:16 MET DST 1996
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: The "Preferred Size" of the CPN FAM application is allways required to be available. Otherwise the CPN FAM application cannot be launched by the Design/CPN application.
Diagram:
Comments:
Work-around: Use the Get Info command of the Finder to adjust the "Prefered Size".
User advice:
Version: 3.0.2
Machine: Macintosh
Reproduced by:
X-ref:
Priority: Low
Estimated work: Hours
How to fix: Set appropriate flag when CPN FAM is launched.
Status: Fixed in 3.0.3
The Fix:
[960823b0006]
Short: Carriage return in colour set regions
Module: O-graph
Category: Confusing
Severity: Minor
Updated: Mon Aug 26 15:16:08 MET DST 1996
Submitter: Søren Christensen (schristensen@daimi.au.dk)
Long: Carriage returns in colour set regions cause problems in the switch to the occurrence graph tool.
Diagram:
Comments:
Work-around:
User advice:
Version: 3.0
Machine: All
Reproduced by: Just make a cs region with a carriage return.
X-ref:
Priority: Medium
Estimated work: 1/2 Day
How to fix:
Status: Fixed in 3.0.2
The Fix: Carriage returns now handled equally on both the C- and the ML-side.
[960823b0005]
Short: Sharing defaults
Module: Design/OA
Category: Confusing
Severity: Minor
Updated: Fri Aug 23 14:53:28 MET DST 1996
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: In the case where multiple copies of Design/CPN is running with the same user id, there is a problem with Copy defaults (Set menu). If defaults are saved in one application then copy defaults does not work as expected in the direction system to diagram in the other application. However it works fine in the opposite direction diagram to system.
Diagram:
Comments:
Work-around: Restart Design/CPN in order to read the most recent system defaults.
User advice: In general, having multiple copies of Design/CPN running under the same user id may cause unpredictable effects. E.g., if two persons save to the same diagram file at the same time.
Version: 3.0.1
Machine: Sun Sparc Solaris
Reproduced by: Start two copies of Design/CPN. In the first copy, set some easily recognisable defaults and do a copy defaults from diagram to system. In the second, invoke Copy defaults from system to diagram and observe that objects created subsequently have not changed defaults.
X-ref:
Priority: Low
Estimated work: 1/2 Day
How to fix: It may have something to do with the way the tool uses file handles/pointers to i-nodes.
Status:
The Fix:
[960823b0004]
Short: Loading new diagrams in old versions
Module: Editor
Category: Crash
Severity: Major
Updated: Fri Aug 23 17:09:08 MET DST 1996
Submitter: Lars Michael Kristensen (kris@daimi.au.dk)
Long: If a diagram from a later version of Design/CPN is loaded into an old version of Design/CPN, then the tool crashes (after a revert dialog appears). This happens only if Design/CPN is started with the diagram name on the command line. The tools does not crash of one attempts to load the diagram via the File Open menu. (Normally new diagrams cannot be loaded with old versions of Design/CPN - as the tool will tell you.)
Diagram:
Comments:
Work-around:
User advice: Be careful when trying to load diagrams which are not backwards compatible. This is especially easy to forget when exchanging diagrams with other users.
Version: 3.0.1
Machine: Sun Sparc Solaris
Reproduced by: Start an old version of Design/CPN (e.g., 3.0.1) and provide the name of a newer version diagram on the command line. The tool will ask if you wish to revert to old version of diagram. The tool will crash no matter which button is pressed.
X-ref:
Priority: Medium
Estimated work: 1/2 Day
How to fix:
Status: Fixed in 3.0.2
The Fix: The tool handles load of diagrams differently when using the file open menu or the command line. In one of the cases the tool will not be in the null event loop.
[960816b0003]
Short: Page border as current object
Module: Editor
Category: Corrupt diagram
Severity: Major
Updated: Fri Aug 23 15:11:15 MET DST 1996
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: Using the Select command (Makeup menu), it is possible to select the page border, thus making it the current object. Although no dot handles are visible, many operations can be done (e.g., Drag). Some operations are harmless or produces confusing results - but some can corrupt the diagram. Try, e.g., to delete the page border - it results in a dialog "CONCRETE EDITOR: Convert to Aux was called with unexpected type. Error: (0x401F)". Pressing OK gives the dialog "A serious error has occurred and your diagram has been corrupted.
Diagram:
Comments:
Work-around:
User advice: Immediately select another object if the page border has been selected. One indication of that the page border is the current object is that the Type in the status bar is set to the empty string.
Version: 3.0.1
Machine: Sun Sparc Solaris
Reproduced by: Make a new diagram, and make some object on the empty page. (Select is not functional on an empty page.) Invoke Select from the Makeup menu and select the page border. Then press the backspace key or equivalent and observe a number of dialog boxes that indicate the corruption of the diagram.
X-ref:
Priority: Low
Estimated work: 1/2 Day
How to fix: We should prevent that the page border can become the current object. However, we do not want to prevent that it can be selected in conjunction with, e.g., alignments and similar.
Status: Fixed in 3.0.2
The Fix: Select mode of page border disabled in case that the Select menu was invoked. Objects can still align to page border.
[960705b0002]
Short: Sticky fast automatic simulation mode
Module: Simulator
Category: Annoying
Severity: Minor
Updated: Fri Aug 23 15:12:24 MET DST 1996
Submitter: Kjeld H. Mortensen (khm@daimi.au.dk)
Long: Under some circumstances it is impossible to leave Fast Automatic simulation mode while in the simulator.
Diagram:
Comments:
Work-around:
User advice:
Version: 3.0.1
Machine: Sun Sparc Solaris
Reproduced by: 1) Start Design/CPN. 2) Invoke New from the File menu. 3) Create an empty global declaration node (or any other syntactically correct diagram). 4) Set Fast Simulation Mode in the Set Simulation Code Options dialog. 5) Enter simulator. 6) Set Simulation Mode to "Both" in the Set Simulation Code Options dialog. 7) Invoke the dialog General Simulation Options from the Set menu and choose Fair Automatic. 8) Invoke the dialog again and observe that the Fast Automatic mode is still erroneously active.
X-ref:
Priority: Low
Estimated work: 1/2 Day
How to fix:
Status: Fixed in 3.0.2
The Fix: Post dialog code was not up-to-date with new simulation mode code.
[960509b0001]
Short: Occasional crash on save
Module: Design/CPN
Category: Crash
Severity: Critical
Updated: Thu May 9 21:28:13 MET DST 1996
Submitter: Dr Baerbel Reuter (reuter@wiwi.uni-wuppertal.de)
Long: Sometimes Design/CPN crashes in the middle of saving.
Diagram:
Comments:
Work-around:
User advice: Do not use 3.0 - the bug can corrupt the internals of the application and mess up diagram files. Upgrade immediately to version 3.0.1. -Kjeld
Version: 3.0
Machine: Sun Sparc Solaris
Reproduced by:
X-ref:
Priority: High
Estimated work: 1/2 day
How to fix:
Status: Fixed in 3.0.1
The Fix: Malloc problem; allocated to short string in connection with backup name of database file name.
Home
Valid HTML 4.0! Last modified: Fri Jan 16 10:28:13 2004 -- Design/CPN Online admin