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

Bug 507

Summary: libutap tracer has a problem with long lines
Product: UPPAAL Reporter: S Schivo <s.schivo>
Component: libutapAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: normal    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: All   
Architecture:

Description S Schivo 2010-12-16 14:00:24 CET 
Dear all,
I think that the tool tracer has a problem with reading lines longer than 255 characters. The array "str" declared in "tracer.cpp" has only 255 places, but a line of output from verifyta can be longer.
I suggest that, in order to solve the problem, you could simply change the 255 values to a much higher value, like 5000 (both in the declaration of the "str" array and in the calls to function read).