Model checking: fixed bug in property creation

requested review from @michal_kurowski

By Rafal Babski on 2024-06-18T11:12:51

assigned to @rbabski_n7s

By Rafal Babski on 2024-06-18T11:12:51

approved this merge request

By Michal Kurowski on 2024-06-18T11:19:07

added 2 commits

• 75ec5641 - 1 commit from branch master
• fe829674 - Model checking: fixed bug in property creation

Compare with previous version

By Rafal Babski on 2024-06-18T12:31:20

enabled an automatic merge when the pipeline for fe829674 succeeds

By Rafal Babski on 2024-06-18T12:31:24

merged