Skip to content
Snippets Groups Projects
Commit 12d48dfc authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[wp] update ranks in qualif tests

parent 88eb78c4
No related branches found
No related tags found
No related merge requests found
...@@ -36,12 +36,12 @@ ...@@ -36,12 +36,12 @@
"memcpy_loop_assigns": { "alt-ergo": "memcpy_loop_assigns": { "alt-ergo":
{ "total": 1, { "total": 1,
"valid": 1, "valid": 1,
"rank": 43 }, "rank": 40 },
"qed": { "total": 2, "qed": { "total": 2,
"valid": 2 }, "valid": 2 },
"wp:main": { "total": 3, "wp:main": { "total": 3,
"valid": 3, "valid": 3,
"rank": 43 } }, "rank": 40 } },
"memcpy_ensures_result_ptr": { "qed": "memcpy_ensures_result_ptr": { "qed":
{ "total": 1, { "total": 1,
"valid": 1 }, "valid": 1 },
......
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