Closed TUM-Doepfert closed 11 months ago
This PR contains various adjustments and fixes. It also fixes #51 .
With this PR the tool can run through and run in parallel.
The focus now is to validate the results and create the analyzer
This PR contains various adjustments and fixes. It also fixes #51 .
With this PR the tool can run through and run in parallel.
The focus now is to validate the results and create the analyzer