We are glad to announce the release of TAPAAL 3.5.1.
TAPAAL 3.5.1 is a release that fixes numerous bugs in the GUI introduced in the 3.5.0 release and it also fixes trace generation issue in the untimed verifypn engine.
We are glad to announce the release of TAPAAL 3.5.1.
TAPAAL 3.5.1 is a release that fixes numerous bugs in the GUI introduced in the 3.5.0 release and it also fixes trace generation issue in the untimed verifypn engine.