Commit f47b643d authored by Sylvain Dailler's avatar Sylvain Dailler

ce-bench: put Z3 floats as failing test

parent f787ec6e
......@@ -44,6 +44,12 @@ decide_fail () {
# Inconsistent results between two runs
"bench/ce/ref_mono_Z3,4.6.0_SP")
is_xfail=integer_values;;
# Inconsistent results between two runs
"bench/ce/floats_Z3,4.6.0_WP")
is_xfail=full;;
# Inconsistent results between two runs
"bench/ce/floats_Z3,4.6.0_SP")
is_xfail=full;;
*) is_xfail=none;;
esac
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment