Skip to content

Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions #1904

Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions

Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions #1904

Annotations

4 warnings

Boogie CI (Debug, batch_mode=False)

succeeded Nov 13, 2024 in 5m 6s