Skip to content
Snippets Groups Projects
Commit dce66325 authored by Boris Yakobowski's avatar Boris Yakobowski
Browse files

Fix oracle

parent e8e96780
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/tests/bts/oracle/bts1307.res.oracle
+ 0
− 2
View file @ dce66325
......@@ -5,5 +5,3 @@ tests/bts/bts1307.i:23:[e-acsl] warning: approximating a real number by a float
tests/bts/bts1307.i:11:[e-acsl] warning: approximating a real number by a float
[e-acsl] translation done in project "e-acsl".
FRAMAC_SHARE/e-acsl/e_acsl.h:94:[value] warning: function __e_acsl_assert: precondition got status unknown.
[value] user error: type long double wider than 64 bits not supported.
Using double instead for the remainder of the analysis.
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