Specialized testing

Rust specialized testing #

Concurrency testing #

Unsound, but scalable
Works analogously to property testing

Sound, but slow
Works analogously to model checkers

Fault injections #

Replaces the tokio and tonic crates with simulated versions
Injects faults and increases randomness

Needs you to manually add fail_point! macros into the code