Skip to content

Fix for two SMT tests

Andrzej Lisak requested to merge smt_crash_fix into 0.24.0

SMT tests are apparently not run too frequently. Two tests were failing:

  • extra vop introduced by SPS - test corrected
  • SIGSEGV during manipulation of accidental local copy of smt_ico_object - copy corrected to reference

That change could be treated as somewhat related to issue #28 (closed), although it was actually part of much earlier balance_object branch.

Merge request reports