This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 42

Summary: Problems with comments in .q files
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P5    
Version: 3.3.38   
Hardware: All   
OS: All   
Architecture:

Description Ulrik Nyman 2003-09-10 13:18:38 CEST 
The format of the .q files results in the fact that the user can, by writing
"*/" (end comment) at the beginning of a line affect the format of the file.

To reproduce:
1. Write in a comment box of a query:
___
*/
___
2. Save the .q file.
3. Open the same .q file.
Now there is an extra property, which is "*/"
Comment 1 Gerd Behrmann 2005-07-05 09:35:07 CEST 
As a fix, slash and back slash should be escaped when appearing in comments. I will see how difficult this 
is to implement.
Comment 2 Gerd Behrmann 2005-07-05 10:29:57 CEST 
A fix for 3.5 has been checked in. This bug will not be fixed in 3.4.