Report Title:
./bin/kripke.exe
Main Report >
Comparison
>
/home/ignacio/projects/fpchecker/apps/cpu_testing/kripke/Kripke/tpl/raja/include/RAJA/util/Operators.hpp
Comparison
Report
Operators.hpp
| 310 | ... |
| 311 | static_assert(check(), "limits for unsigned char is broken"); |
| 312 | static_assert(check(), "limits for short is broken"); |
| 313 | static_assert(check(), "limits for unsigned short is broken"); |
| 314 | ... |
