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 (0)

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