Renovation of the TestCase generation - Githubissues

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

https://key-project.org

Other

41 stars 24 forks source link

Renovation of the TestCase generation #3388

Open wadoon opened 7 months ago

wadoon commented 7 months ago

Intended Change

Make test case generation usable again, especially, from the CLI in the new verification template.

Type of pull request

X Refactoring (behaviour should not change or only minimally change)
X New feature (non-breaking change which adds functionality)
X Breaking change (fix or feature that would cause existing functionality to change)
X There are changes to the (Java) code
X Renovations

Changes

Use of JavaPoet for the generation of valid Java code. Nobody understands pages of StringBuilder foo.
Facade
Clean up of old Java (introduction of records, sealed hierarchies, NPE checking, ...)

sonarcloud[bot] commented 1 month ago

Quality Gate passed

Issues
102 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud