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 te->inputSize = inputSize;
8 memcpy(te->inputs, inputs, inputSize * sizeof(uint64_t));
12 void deleteTableEntry(TableEntry *tableEntry) {