Skip to content

Preserve symbolic List frames in matcher residuals - #4162

Closed
malturki wants to merge 1 commit into
runtimeverification:masterfrom
malturki:fix/list-frame-matcher-4161
Closed

Preserve symbolic List frames in matcher residuals#4162
malturki wants to merge 1 commit into
runtimeverification:masterfrom
malturki:fix/list-frame-matcher-4161

Preserve symbolic List frames in matcher residuals

f5566e3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
Formatting and Style
failed Sep 29, 2026 in 18s