Searched refs:smt_push (Results 1 – 6 of 6) sorted by relevance
131 smt_push(&core); in test1()145 smt_push(&core); in test1()
205 smt_push(&core); in main()209 smt_push(&core); in main()
1282 def smt_push(): function1391 smt_push()1514 smt_push()1555 smt_push()
1197 extern void smt_push(smt_core_t *s);
5069 void smt_push(smt_core_t *s) { in smt_push() function5368 smt_push(s); in smt_interrupt_push()
5709 smt_push(ctx->core); // propagates to all solvers in context_push()