Skip to content

repairing NPE when invoking KeY on a local file. - #3965

Merged
wadoon merged 1 commit into
mainfrom
fixNPEinCLI2
Aug 15, 2026
Merged

repairing NPE when invoking KeY on a local file.#3965
wadoon merged 1 commit into
mainfrom
fixNPEinCLI2

repairing NPE when invoking KeY on a local file.

0c063db
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
checkerFramework
succeeded Aug 15, 2026 in 2m 39s