Skip to content

Fixes two recently introduced problems with SMT configuration

Andrzej Lisak requested to merge abw_smt_fix into develop

Needs part of !908 (merged) to be complete (otherwise selected unit tests don't work with SMTs enabled).

Merge request reports