FK20 CUDA
frtest_cmp.cu File Reference
#include "fr.cuh"
#include "frtest.cuh"
Include dependency graph for frtest_cmp.cu:

Go to the source code of this file.

Functions

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

Function Documentation

◆ FrTestCmp()

__global__ void FrTestCmp ( testval_t testval)

Test for the comparison function; 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 frtest_cmp.cu.

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