Python: skip Any_to_bool for bool-typed assert conditions (#1102)#1119
Open
julesmt wants to merge 2 commits into
Open
Python: skip Any_to_bool for bool-typed assert conditions (#1102)#1119julesmt wants to merge 2 commits into
julesmt wants to merge 2 commits into
