Reduce DNS CBMC proof packet size

FreeRTOS · Jun 23, 2024 · 6bbdfe9 · 6bbdfe9
1 parent 7496148
commit 6bbdfe9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json b/test/cbmc/proofs/DNS_ParseDNSReply/Configurations.json
@@ -1,8 +1,8 @@
 {
  "ENTRY": "DNS_ParseDNSReply",
- "TEST_PAYLOAD_SIZE": 5,
- "TEST_IPV4_PACKET_SIZE": 59,
- "TEST_IPV6_PACKET_SIZE": 79,
+ "TEST_PAYLOAD_SIZE": 2,
+ "TEST_IPV4_PACKET_SIZE": 29,
+ "TEST_IPV6_PACKET_SIZE": 49,
  "CBMCFLAGS":
  [
  "--unwind 1",