big boogie chash trace inconclusive type (check_is_fix_coin_a_spec)#4

andrii-a8c merged 1 commit into

masterasymptotic-code/boogie:masterfrom

crash-fixasymptotic-code/boogie:crash-fixCopy head branch name to clipboard