CVEs related to bugs in TAPAAL

Open bugs

There are no CVEs related to bugs open in TAPAAL.

Resolved bugs

There are no CVEs related to bugs resolved in TAPAAL.