Zicklag @zicklag.dev · May 6 I'm doing it! Running a multi-server simulation of the arbiter specification using @quint-lang.org! This test will send a message to one arbiter, which will resolve a remote member list on another arbiter, and use the space hierarchy to calculate the final member list and access levels.
11 likes 2 replies
Replies
Here's another cool one. This tests what happens when two people try to submit requests to add a user at the same exact time. Quint selects a random request that will be handled first and our test makes sure that one succeeds and the other fails under any of the random scenarios.
I've already caught multiple bugs in the specification by writing similar tests. I've got a lot more tests to write, but it's actually pretty awesome how easy it is, once everything is in place, when you think about the fact that this is simulating multiple servers.