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 (Release, batch_mode=True)

succeeded Nov 13, 2024 in 5m 38s