Skip to content

Make Z3 monitors optional.

Alexander Diewald requested to merge 3730 into master

Issue-Ref: 3730 Issue-Url: https://af3-developer.fortiss.org/issues/3730 Signed-off-by: Alexander Diewald diewald@fortiss.org

Merge request reports