Add assumptions based on cast_func.args[0]
This enables cast_func(1.f, create_type('double')).positive == True
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
pycodegen-integration | Test | ||
|
This enables cast_func(1.f, create_type('double')).positive == True
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
pycodegen-integration | Test | ||
|