Lukas Grätz

icon indicating an email [email protected]

icon location Darmstadt, Germany icon location I am a PhD student at Technische Universität Darmstadt.

Results 1 issues of Lukas Grätz

Tracing2

Replaces #3491 ## Related Issue This pull request addresses #. ## Intended Change This adds functionality to check a single control-flow trace in KeY, so only one path in the...