Skip to content
Test

BackendConcrete: Return NaN from fpSqrt for negative values, to match z3 #1016

Sign in to view logs

BackendConcrete: Return NaN from fpSqrt for negative values, to match z3

BackendConcrete: Return NaN from fpSqrt for negative values, to match z3 #1016

Triggered via pull request February 7, 2025 00:27
@twizmwazintwizmwazin
opened #596
fix/fpSqrt-neg-consistency
Status Success
Total duration 1m 20s
Artifacts –

ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in