Skip to content
Snippets Groups Projects
Commit 82130be4 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Wp/test] updates an oracle for -config qualif

parent b71fe2d1
No related branches found
No related tags found
No related merge requests found
......@@ -34,12 +34,12 @@
"valid": 1 } },
"memcpy_loop_assign": { "alt-ergo": { "total": 1,
"valid": 1,
"rank": 43 },
"rank": 40 },
"qed": { "total": 2,
"valid": 2 },
"wp:main": { "total": 3,
"valid": 3,
"rank": 43 } },
"rank": 40 } },
"memcpy_post_result_ptr": { "qed": { "total": 1,
"valid": 1 },
"wp:main":
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment