Skip to content
GitLab

Add assumptions based on cast_func.args[0] 

This enables cast_func(1.f, create_type('double')).positive == True
13 jobs for cast_func-assumptions in 16 minutes and 10 seconds (queued for 3 seconds)
latest
c1707ef3
1 related merge request: !97 WIP: Add assumptions based on cast_func.args[0]