1 #include "tableentry.h"
4 TableEntry* allocTableEntry(uint64_t* inputs, uint inputSize, uint64_t result){
5 TableEntry* te = (TableEntry*) ourmalloc(sizeof(TableEntry)+inputSize*sizeof(uint64_t));
7 memcpy(te->inputs, inputs, inputSize * sizeof(uint64_t));
11 void deleteTableEntry(TableEntry* tableEntry){