Skip to content
Snippets Groups Projects
Commit 72439f04 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[aorai] fix oracle of new test in prove configuration

parent 23188c14
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/aorai/tests/ya/oracle_prove/observed.res.oracle
+ 1
− 1
View file @ 72439f04
[kernel] Parsing tests/ya/observed.i (no preprocessing) [kernel] Parsing observed.i (no preprocessing)
[kernel] Parsing TMPDIR/aorai_observed_0.i (no preprocessing) [kernel] Parsing TMPDIR/aorai_observed_0.i (no preprocessing)
[wp] Warning: Missing RTE guards [wp] Warning: Missing RTE guards
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