Sat Dec 16 2017 10:14:13 CET
gf.saveXML
Hide Search Description
10 bugs found.
ID Product Comp Assignee Status Resolution Summary Changed
507 UPPAAL libutap adavid NEW --- libutap tracer has a problem with long lines 2010-12-16
562 UPPAAL libutap adavid NEW --- Parser does not compile under newest version of gpp 2013-11-13
642 UPPAAL libutap marius NEW --- memory exhausted on too many if-then-else nested statements 2017-08-29
338 UPPAAL libutap behrmann ASSI --- does not allow empty initialisation expression in "for" loop 2006-07-13
394 UPPAAL libutap behrmann ASSI --- CAUGHT EXCEPTION: getDeclaredRanges 2007-05-13
186 UPPAAL libutap behrmann ASSI --- Mixed record types 2006-01-11
240 UPPAAL libutap behrmann ASSI --- Extract concrete trace from tracefile 2006-01-03
143 UPPAAL libutap behrmann ASSI --- Extend XML format with id for transitions 2005-06-17
591 UPPAAL libutap marius ASSI --- Produced legible .xtr file with wrong "transition" data 2015-03-31
433 UPPAAL libutap behrmann REOP --- Empty system section causes 'syntax error, unexpected $end' in wrong place 2007-11-29
10 bugs found.

as

File a new bug in the "libutap" component of the "UPPAAL" product