1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
The tool has been restarted.
=============== Test number 1 ================
The verbosity level has been set to 9.
Information: expression '(diff(foo))(1 + x) * 1' has been simplified to expression '(diff(foo))(1 + x)'.
Warning: evaluateFaithful returned NaN.
[0;1]
The tool has been restarted.
=============== Test number 2 ================
Checkingthat __unique_id is made of [0-9a-zA-Z_-]...
Done.
The tool has been restarted.
Checking that __unique_id is made of [0-9a-zA-Z_-]...
Done.
Checking that __unique_id changes after restart...
Done.
The tool has been restarted.
=============== Test number 3 ================
true
The tool has been restarted.
=============== Test number 4 ================
Warning (174): Rounding occurred when converting the constant "0.1" to floating-point with 165 bits.
If safe computation is needed, try to increase the precision.
|
