Artiweb
>
Pull Request #3021
>
Artifact 542331158
Use KeYParser.g4 for parsing proof scripts
#3021
Build time: 05. Feb 2023 14:36
Github Action
Tests
✅ key.util:test [no report files] (153 succeeded)
✅ recoder:test [no report files] (14 succeeded, 15 skipped)