Lobsters
- Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis http://nchammas.com/writing/how-not-to-die-hard-with-hypothesis 5 comments python , testing
Linking pages
Linked pages
- TLA+ - Wikipedia https://en.wikipedia.org/wiki/TLA%2B 92 comments
- TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 28 comments
- Most testing is ineffective - Hypothesis https://hypothesis.works/ 3 comments
- Julia Evans http://jvns.ca/ 2 comments
- GitHub - HypothesisWorks/hypothesis: Hypothesis is a powerful, flexible, and easy to use library for property-based testing. https://github.com/HypothesisWorks/hypothesis-python 0 comments
Would you like to stay up to date with Python? Checkout Python
Weekly.
Related searches:
Search whole site: site:nchammas.com
Search title: Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis | Into the Light
See how to search.