summaryrefslogtreecommitdiff
path: root/Justfile
diff options
context:
space:
mode:
authorAria <me@aria.rip>2023-10-13 14:13:58 +0100
committerAria <me@aria.rip>2023-10-13 14:13:58 +0100
commitb2d679f05d04052bfc25167eaaf09c60c03251cb (patch)
tree7ca49d117a3167169e5b92613ca21c88c12bd47f /Justfile
parentc063f4da42a538138cc3e80a0e1faaf813a13bd2 (diff)
wip: fault tolerant broadcast
Diffstat (limited to 'Justfile')
-rw-r--r--Justfile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Justfile b/Justfile
index b324d00..3f7fd2d 100644
--- a/Justfile
+++ b/Justfile
@@ -14,4 +14,8 @@ test-broadcast-multi:
cargo build --bin broadcast
maelstrom test -w broadcast --bin target/debug/broadcast --node-count 5 --time-limit 20 --rate 10
+test-broadcast-fault:
+ cargo build --bin broadcast
+ maelstrom test -w broadcast --bin target/debug/broadcast --node-count 5 --time-limit 20 --rate 10 --nemesis partition
+
test: test-echo test-unique-ids test-broadcast-single test-broadcast-multi \ No newline at end of file