I have been a fan of John Hughes (the creator of quickcheck). He has some awesome presentations of his real life testing consultant work on crazy mission critical systems. He likely has some stuff that for your criteria…
Frankly that file is just the layout of the board, as in which ints correspond to which squares. I used it at the very start to make sure the pieces where moving correctly, before the code to connect to an interface was written.
I'm guessing you're asking if Rust has a REPL? Currently there is no REPL included in the standard language, but you can download the rusti project [1] using cargo.
Direction is more important than speed. If you are running in the wrong direction it doesn't matter how fast, or if you come in on the weekend.
If you are headed in the rigt direction then speed and velocity can be important.
It's easy to want to believe that success is repeatable and due to an observable formula...
I have noticed that people who have lived through dramatic downturns tend to look for a pattern or signs of it happening again. It's probably basic human behavior, once you get burned by something you tend to flinch when you see something similar.
I am also not saying he is wrong of course... But I have noticed similar pessimism since 2012. People justifying being unadventurous with "the bubble is gonna burst soon. I have lived through it before."
Just some quick search result papers: property testing for race conditions https://smallbone.se/papers/finding-race-conditions.pdf
Testing telcos https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.14...