Skip to content
angr Ecosystem Test

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

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 #136

ecosystem  /  Test (6)

ecosystem / Test (6)
succeeded Feb 7, 2025 in 6m 2s