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

Bug 507 - libutap tracer has a problem with long lines
Summary: libutap tracer has a problem with long lines
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: unspecified
Hardware: PC All
: P2 normal
Assignee: Alexandre David
Depends on:
Reported: 2010-12-16 14:00 CET by S Schivo
Modified: 2010-12-16 14:00 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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).