Hello,
I have some troubles with the RegEx function in the Model Checker Configurator.
I would like to filter the levels with a value of zero by writing them as (0) in the regex. But the problem is that not only the levels with a value zero are filtered out. But all levels that contain a zero at all. Even if this is 11 digits after the comma. When I test this on a RegEx builder it says this shouldn't happen.

Note: I noticed that the check needs to be done in feet.
I think it is a bug in the function, but maybe i do something wrong. Hopefully someone can help me.