Tob1as864

Results 2 comments of Tob1as864

> Thanks @Tob1as864 for your great work. > > Although I'm not a requirement analysis expert, I reviewed your code. I marked problematic code locations with some short explanations for...

> @Tob1as864 I need a little bit of context before I can review this PR. In particular, I need to know what kind of property you want to check. State-Recoverability...