Skip to content

Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands #1820

Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands

Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands #1820

Annotations

4 warnings

Boogie CI (Debug, batch_mode=True)

succeeded Oct 4, 2024 in 4m 36s