Closed soonho-tri closed 4 years ago
@LeventErkok,
--smtlib2-compliant
or (: smtlib2-compliant
or : smtlib2_compliant). FYI, Z3 is using
smtlib2_compliant`.(check-sat)
still returns delta-sat
without information about its precision. But you can execute (get-option :precision)
to get it.(set-option :produce-models true)
does not print a model when --smtlib2-compliant
is on.Please let me know what you think about the above points.
Merging #220 into master will decrease coverage by
0.16%
. The diff coverage is4.76%
.
@@ Coverage Diff @@
## master #220 +/- ##
==========================================
- Coverage 61.63% 61.46% -0.17%
==========================================
Files 93 93
Lines 4356 4368 +12
==========================================
Hits 2685 2685
- Misses 1671 1683 +12
Impacted Files | Coverage Δ | |
---|---|---|
dreal/solver/config.cc | 41.93% <0.00%> (-0.69%) |
:arrow_down: |
dreal/solver/context.cc | 29.31% <0.00%> (-1.05%) |
:arrow_down: |
dreal/solver/context_impl.cc | 63.88% <0.00%> (-2.37%) |
:arrow_down: |
dreal/solver/context_impl.h | 83.33% <ø> (ø) |
|
dreal/solver/config.h | 95.00% <100.00%> (ø) |
Continue to review full report at Codecov.
Legend - Click here to learn more
Δ = absolute <relative> (impact)
,ø = not affected
,? = missing data
Powered by Codecov. Last update 6a99119...dd9c643. Read the comment docs.
Close #217