WIP: Add assumptions based on cast_func.args[0]
This enables cast_func(1.f, create_type('double')).positive == True
Edited by Stephan Seitz
Merge request reports
Activity
Filter activity
Please register or sign in to reply
This enables cast_func(1.f, create_type('double')).positive == True