@rasoolmaghareh Some fixes to Tracer-X's own solver. At least as at tracer-x/klee@bbb6f6a1d2b09bf7a32681dc1be909235a9154a5 of #281, this reduces the number of queries with existential quantification, which is observable with basic/malloc3.c in klee-examples.
@rasoolmaghareh Some fixes to Tracer-X's own solver. At least as at tracer-x/klee@bbb6f6a1d2b09bf7a32681dc1be909235a9154a5 of #281, this reduces the number of queries with existential quantification, which is observable with
basic/malloc3.cinklee-examples.EDIT: Corrected mentioned commit hash