bmw-software-engineering/trlc

linter should not include frozen components in counter-example

florianschanda opened this issue · 0 comments

florianschanda commented
linter should not include frozen components in counter-example