Skip to content
CI

Explicitly promote BoolExprs and IntExprs in mixed int/real arithmetic using to_real and ite. #82

Sign in to view logs

Explicitly promote BoolExprs and IntExprs in mixed int/real arithmetic using to_real and ite.

Explicitly promote BoolExprs and IntExprs in mixed int/real arithmetic using to_real and ite. #82

Triggered via pull request November 29, 2023 18:16
@elsorokaelsoroka
opened #23
dev
Status Success
Total duration 1m 35s
Artifacts –

ci.yml

on: pull_request
run
1m 23s
run
Fit to window
Zoom out
Zoom in