Report Title: ./bin/kripke.exe
Main Report

Main Report

Events Severity
Infinity (+) This is detected when operations produce positive infinity, such as 1.0 / 0.0. Infinities propagate through calculations: for example, 2 + ∞ = ∞.
0
Infinity (-) This is detected when operations produce negative infinity.
0
NaN NaN (not a number) are the result of invalid operations, such as 0/0 or sqrt(-1).
0
Division by zero This occurs when a finite nonzero number is divided by zero. This typically produce an infinity.
0
Underflow (subnormal) Underflows are detected when an operation produces a subnormal number because the result was not representable as a normal number. Certain compiler optimizations can produce unexpected results when operands are subnormal numbers.
0
Comparison This occurs when two floating-point numbers are compared for equality. Often comparing if two floating-point numbers are equal is not a good idea.
4096
Cancellation Cancellation occurs when two nearly equal numbers are subtracted. By default, this event is detected when at least ten decimal digits are lost due to a subtraction.
256
Latent Infinity (+) This is detected when an operation produces a normal number that is large, and it is in close proximity to positive infinity.
0
Latent Infinity (-) This is detected when an operation produces a normal number that is large, and it is in close proximity to negative infinity.
0
Latent underflow This is detected when an operation produces a normal number that is small and it is in close proximity to becoming an underflow (subnormal number).
0
Code paths: /home/ignacio/projects/fpchecker/apps/cpu_testing/kripke/Kripke/tpl/raja/include/RAJA/util/Operators.hpp
Files affected: 1
Lines affected: 2