27 Jun 2009
— 0 open)
: in msc viewer: close multicast connection when viewed msc contains syntax error
: there is no way to restart viewer programs
: on windows, when the user closes all anidot windows, the anidot server does not get restarted
: on windows, the treeitem used in the simulator can only have a depth of 255?
: the omitted inputs set in a Utraces report line may contain duplicates
: fix highlighting of <root> state in simulation pane
: hardcoded limit in number of items shown in compound state label
: for .aut files nrs of states and transitions of des line is not checked
: after stop-ping a simulation run, we can still expand the simulation tree
: guided simulation trace start highlight only highlights initial transition, not initial node
: sometimes killing lts pictures causes error messages: can not find channel named "sock3712"
: iocoChecker uses wrong relation name in result report when using Utraces
: make font bigger/smaller leads to something unreadable, in both cases.
: UtracesCheck: of spec or impl?
: what is iocheck with a real implementation? Should be disabled?
: in simulation path pane same initial trace gets written again and again when we press right-arrow
: when fonts are made bigger, items in e.g. Config pane become obscured
: when we close JTorX before animation servers have started, these servers are not cleaned up
: tree/table headers are unaffected by font changes, at least on mac (due to swt implementation)
: can't appear "Next test step(s):" in small screen, can't continue tests
: extend anidot multicast to allow tree selection
BitNami Redmine Stack
© 2006-2012 Jean-Philippe Lang