Skip to content
Snippets Groups Projects
Commit 0677618a authored by David Bühler's avatar David Bühler
Browse files

[Eva] Updates kernel tests.

parent 9e997242
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/libc/oracle/argz_c.res.oracle
+ 0
− 2
View file @ 0677618a
......@@ -493,8 +493,6 @@
[eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free
[eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free
[eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free
[eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free
[eva] FRAMAC_SHARE/libc/argz.c:120: Call to builtin free
[eva] Recording results for argz_replace
[eva] Done for function argz_replace
[eva] computing for function exit <- main.
......
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