### Description Z3 outputs red warnings for the generated Z3 models with soft asserts. ### Tasks - [ ] change implementation to remove red warnings - [ ] check whether Z3 analysis computes correct models ### Definition of Done - [ ] No output of red warnings
Description
Z3 outputs red warnings for the generated Z3 models with soft asserts.
Tasks
Definition of Done