Use CaDiCaL solver for s2n_stuffer_private_key_from_pem proof (#3318)

aws · May 13, 2022 · f599026 · f599026
1 parent 174bdf6
commit f599026
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/cbmc/proofs/s2n_stuffer_private_key_from_pem/Makefile b/tests/cbmc/proofs/s2n_stuffer_private_key_from_pem/Makefile
@@ -17,6 +17,7 @@ DEFINES += -DMAX_BLOB_SIZE=$(MAX_BLOB_SIZE)
 
 CHECKFLAGS +=
 
+USE_EXTERNAL_SAT_SOLVER ?= --external-sat-solver cadical
 PROOF_UID = s2n_stuffer_private_key_from_pem
 HARNESS_ENTRY = $(PROOF_UID)_harness
 HARNESS_FILE = $(HARNESS_ENTRY).c