Skip to content

GitLab

Closed
Created by Stephan Seitz@seitzMaintainer
Report abuse

WIP: Add assumptions based on cast_func.args[0]

This enables cast_func(1.f, create_type('double')).positive == True

Edited by Stephan Seitz