TAPAAL

  1. Bug #784757
  2. Comment #2

Comment 2 for bug 784757

Revision history for this message
Morten Jacobsen (mortenja) wrote :

I don't see why that should be the case? The engine will be distributed with TAPAAL, following a scheme similar to UPPAAL, so I don't see the benefit of allowing this path to be changed..

Verifyta path setup should of course stay as it is, since verifyta is not distributed with TAPAAL.