Fix loading of taclet proof obligations (issue #3477) - Githubissues

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

https://key-project.org

Other

42 stars 24 forks source link

Fix loading of taclet proof obligations (issue #3477) #3481

Closed unp1 closed 1 month ago

unp1 commented 1 month ago

This commit fixes an NPE when loading
This commit fixes missing or inconsistent selection of loaded proof obligation

Related Issue

This pull request addresses #3477.

Intended Change

Fix the NullPointerException when loading a taclet proof obligation. In addition the PO selection was inconsistent, which is fixed as well.

Type of pull request

Bug fix (non-breaking change which fixes an issue)

Ensuring quality

I have tested the feature as follows: Loaded Taclet POs (both a single one as well as several at once)

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.