1 #include "tableentry.h"
3 TableEntry* allocTableEntry(uint64_t* inputs, uint inputSize, uint64_t result){
4 TableEntry* te = (TableEntry*) ourmalloc(sizeof(TableEntry)+inputSize*sizeof(uint64_t));
6 for(int i=0; i<inputSize; i++){
7 te->inputs[i]=inputs[i];
12 void deleteTableEntry(TableEntry* tableEntry){