SetDifference creates an array expression.
(self)
| 2020 | assert isinstance(s, ExprRef) |
| 2021 | |
| 2022 | def test_set_difference(self): |
| 2023 | """SetDifference creates an array expression.""" |
| 2024 | |
| 2025 | a = SetAdd(EmptySet(IntSort()), IntVal(1)) |
| 2026 | b = EmptySet(IntSort()) |
| 2027 | d = SetDifference(a, b) |
| 2028 | assert isinstance(d, ExprRef) |
| 2029 | |
| 2030 | def test_is_subset(self): |
| 2031 | """IsSubset creates a BoolRef.""" |
nothing calls this directly
no test coverage detected