Skip to content

big boogie chash trace inconclusive type (check_is_fix_coin_a_spec) - #4

Merged
andrii-a8c merged 1 commit into
masterfrom
crash-fix
May 13, 2026
Merged

big boogie chash trace inconclusive type (check_is_fix_coin_a_spec)#4
andrii-a8c merged 1 commit into
masterfrom
crash-fix

big boogie chash trace inconclusive type (check_is_fix_coin_a_spec)

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

Annotations

3 warnings
Boogie CI (Debug, batch_mode=True)
succeeded May 12, 2026 in 4m 34s