Did you have a look at the intro in the manual? https://antithesishq.github.io/bombadil/1-introduction.html
If that's not clear, please let me know how we can improve it!
If that's not clear, please let me know how we can improve it!
I can't make heads or tails of this. What does it do? "Bombadil checks each property as it explores your system in its chaotic ways, reporting back any violations." what properties? checks how? does it read application state? "recording violations" what violations? "select an action and performs it" what actions?
This needs some code example, or a video, or something to explain what this tool is
The page "Language features > Properties" starts to explain what this is.
It's all very abstractly described in the README and that intro page you linked.
It would be very nice to have a little more details on how this works. Though I guess we can figure it out via code/trialing it out.
I'll give it a go later today!