feat: formal verification suite (OpenJML ESC/RAC + JPF) in a separate CI pipeline - #158

Merged

bernardladenthin merged 2 commits into

mainfrom

claude/formal-verification

Sep 13, 2026

Commits on Sep 12, 2026

feat: formal verification suite (OpenJML ESC/RAC + JPF) in a separate CI pipeline

bernardladenthin
and
claude
committed
faa4af8
fix(ci): disable JUnit @Timeout enforcement in the OpenJML RAC run

bernardladenthin
and
claude
committed
702b945