search

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
https://www.tapaal.net
3 stars 11 forks source link

Rework batch processing #70

Closed LenaSaid closed 1 year ago

LenaSaid commented 1 year ago

The batch processing dialog is redone, so that it is possible to manually write multiple verification options, which is used to verify the queries in the added models.

Whenever "Default" is written in the verification option cell, the options specified for each query will be used. Whenever "Default" is chosen as the engine, the engine specified for each query will be used.

There are three help buttons, one for each enging. When pressing these, the options for each engine is displayed in a new window. This window will always be on top of the batch processing dialog until it is closed.

srba commented 1 year ago

Also, in help write "Help verifyPN" (capitalize the PN).