From a3396746e2e98ca0af4989e30f5e6b970ce9e2d5 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Tue, 11 Jul 2017 15:27:15 -0700 Subject: [PATCH] edits --- src/Backend/satencoder.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c index 5ef2c53..e68226f 100644 --- a/src/Backend/satencoder.c +++ b/src/Backend/satencoder.c @@ -494,6 +494,7 @@ Edge encodeOperatorElementFunctionSATEncoder(SATEncoder* This, ElementFunction* } Edge encodeEnumTableElemFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This){ + //FIXME: HANDLE UNDEFINED BEHAVIORS ASSERT(GETFUNCTIONTYPE(This->function)==TABLEFUNC); ArrayElement* elements= &This->inputs; Table* table = ((FunctionTable*) (This->function))->table; -- 2.34.1