Homework
How to run?
Install Rust.
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
Clone the repository.
git clone git@github.com:wvwwvwwv/homework.git
Run the tests.
cargo test
Optionally, you can explore the model space.
cargo run explore
Property-based Testing
Make the test module in transaction.rs work.
Model-checking
Make the two-phase commit model defined in transaction_model.rs work.