Skip to content
Snippets Groups Projects
Commit 67f62369 authored by David Bühler's avatar David Bühler Committed by Loïc Correnson
Browse files

[kernel] Updates test oracles. 

The behaviors leading to forbidden floating-point values are now removed, and
the negation of their assumes are added as preconditions.
parent b8439c54
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
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