Skip to content

GitLab

Bugfix: TypedSymbol.is_negative should not be implemented in terms of 

super().is_positive

This can lead to surprising simplifications
6 jobs for bug-is-negative in 4 minutes and 54 seconds (queued for 29 seconds)
f11bbbef
1 related merge request: !31 Bugfix: TypedSymbol.is_negative should not be implemented in terms of super().is_positive