From 72a6384353e64a959ca83cd574d8883e3681a830 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 8 Jun 2022 10:00:16 -0700 Subject: [PATCH] time overflow before stack overflow --- src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h b/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h index 4c7870cbd..ae125a0ad 100644 --- a/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h +++ b/src/ast/rewriter/bit_blaster/bit_blaster_tpl_def.h @@ -1123,6 +1123,8 @@ bool bit_blaster_tpl::mk_const_case_multiplier(unsigned sz, expr * const * } if (case_size >= circuit_size) return false; + if (sz >= 100) + return false; SASSERT(out_bits.empty()); ptr_buffer na_bits;