Add arbitrary-model-tests

README.md

@@ -21,6 +21,7 @@ please create a PR or open an issue!
 |:------------:|:---------------------------------------:|:----------------------------------------------------------------------:|
 |     Loom     |    https://github.com/carllerche/loom   | Loom is a model checker for concurrent Rust code. It exhaustively explores the behaviors of code under the C11 memory model, which Rust inherits. |
 | BugHunt-Rust |   https://github.com/blt/bughunt-rust   | This project is aiming to provide "stateful" QuickCheck models for Rust's standard library. |
+| arbitrary-model-tests |   https://github.com/jakubadamw/arbitrary-model-tests  | А procedural macro to be used for testing/fuzzing stateful models against an equivalent implementation. |
 ---
 # Linters
 |     Name     |                Repository                |                               Description                              |