Code review comment for lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties

Revision history for this message
Jiri Srba (srba) wrote :

When you open a .tapn file that does not have any information about whether it is timed/untimed
and game/not game, it should autodetect the type of the net. In net statistics you can find the check for timed/untimed - all components, even the nonactive ones must be untimed in order to call the net untimed. The test for game must be implemented - if there is any controllable/environmental player information in the XML file then it is a game, otherwise it is not.

review: Needs Fixing

« Back to merge proposal