Bugfix: TypedSymbol.is_negative should not be implemented in terms of super().is_positive
- Aug 14, 2019
-
-
Stephan Seitz authored
super().is_positive This can lead to surprising simplifications
f11bbbef
-
This can lead to surprising simplifications
super().is_positive This can lead to surprising simplifications