FK20 CUDA
fptest_cmp.cu File Reference
#include "fp.cuh"
#include "fptest.cuh"
Include dependency graph for fptest_cmp.cu:

Go to the source code of this file.

Functions

__global__ void FpTestCmp (testval_t *testval)
 Test for the comparison function in Fp; checks for inconsistencies in the following properties: More...
 

Function Documentation

◆ FpTestCmp()

__global__ void FpTestCmp ( testval_t testval)

Test for the comparison function in Fp; checks for inconsistencies in the following properties:

eq(x,x) != neq(x,x) neq(x,x) == false neq(x,y) == true eq(x,x) == true eq(x,y) == false

Parameters
testval
Returns
void

Definition at line 21 of file fptest_cmp.cu.

Here is the call graph for this function:
Here is the caller graph for this function: