Fix CBMC proof

tony-josi-aws · Jun 12, 2024 · 9176111 · 9176111
1 parent cd051a4
commit 9176111
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/...mc/proofs/DNS_ParseDNSReply/Makefile.json → ...ofs/DNS_ParseDNSReply/Configurations.json b/...mc/proofs/DNS_ParseDNSReply/Makefile.json → ...ofs/DNS_ParseDNSReply/Configurations.json
diff --git a/test/cbmc/proofs/DNS_ParseDNSReply/DNS_ParseDNSReply_harness.c b/test/cbmc/proofs/DNS_ParseDNSReply/DNS_ParseDNSReply_harness.c
@@ -17,7 +17,7 @@
 #include "IPTraceMacroDefaults.h"
 
 #include "cbmc.h"
-#include "../../../utility/memory_assignments.c"
+#include "../../utility/memory_assignments.c"
 
 /****************************************************************
 * Signature of function under test