Skip to content

Commit

Permalink
Fix broken links
Browse files Browse the repository at this point in the history
  • Loading branch information
asatarin committed Dec 24, 2024
1 parent 4e29421 commit 2f7afcf
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions .lycheeignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
https://docs.google.com/document/d/1xHt_PK9yGMTP6JNDMydQLF4SHIdlq-BF9IZeTOXtIOg/edit
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -874,7 +874,7 @@ See also [deterministic simulation](#deterministic-simulation) section.
* [Hansei: Property-based Development of Concurrent Systems](https://speakerdeck.com/jtuple/hansei-property-based-development-of-concurrent-systems)
* [QuickChecking Poolboy for Fun and Profit](https://web.archive.org/web/20230325231321/https://riak.com/posts/technical/quickchecking-poolboy-for-fun-and-profit/)
from Basho
* [Combining Fault-Injection with Property-Based Testing](https://dl.acm.org/doi/10.1145/2559627.2559629)
* [Combining Fault-Injection with Property-Based Testing](https://dl.acm.org/doi/10.1145/2589650.2559629)
* [Testing Telecoms Software with Quviq QuickCheck](https://web.archive.org/web/20120325030155id_/http://www.quviq.com/documents/erlang001-arts.pdf)
* [Fuzz testing distributed systems with QuickCheck](https://making.pusher.com/fuzz-testing-distributed-systems-with-quickcheck/index.html)
using QuickCheck to test Raft protocol implementation in Haskell
Expand Down

0 comments on commit 2f7afcf

Please sign in to comment.