Skip to content
Snippets Groups Projects

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

Passed
Stephan Seitz created pipeline for commit f11bbbef
, finished
6 jobs 4 minutes 54 seconds, queued for 29 seconds