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

Added sanity check for loading time/game info of nets. A warning will appear if the net is timed/game, but the loaded info says otherwise.

The warning for the game feature is not fully implemented, because it can't be tested whether the network is a game yet.