mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
remove asserts for ground defs
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
0fd4c4fb06
commit
c7bd985fac
|
@ -25,11 +25,11 @@ Revision History:
|
|||
func_entry::func_entry(ast_manager & m, unsigned arity, expr * const * args, expr * result):
|
||||
m_args_are_values(true),
|
||||
m_result(result) {
|
||||
SASSERT(is_ground(result));
|
||||
//SASSERT(is_ground(result));
|
||||
m.inc_ref(result);
|
||||
for (unsigned i = 0; i < arity; i++) {
|
||||
expr * arg = args[i];
|
||||
SASSERT(is_ground(arg));
|
||||
//SASSERT(is_ground(arg));
|
||||
if (!m.is_value(arg))
|
||||
m_args_are_values = false;
|
||||
m.inc_ref(arg);
|
||||
|
|
Loading…
Reference in a new issue