Bugfix in assumptions of integer_functions
Passed
Martin Bauer
created pipeline for commit
b338d183
, finished
For test_fix
3 minutes 20 seconds, queued for 2 seconds