Closed FrankUrbach closed 2 years ago
If you define a function which gives back a bool it isn't possible to use this in an @expect expression. This should be possible.
If you define a function which gives back a bool it isn't possible to use this in an @expect expression. This should be possible.