Added SWAT to benchmark definitions (!372) · Merge requests · SoSy-Lab / SV-Comp / Benchmark Definitions

The source project of this merge request has been removed.

Added SWAT to benchmark definitions for the SV-COMP 2024 Verification competition. Doi of the tool: 10.5281/zenodo.10054904

Added SWAT to benchmark definitions