when in doubt do #test #coverage

#rust #tui #ratatui #proptest

BONUS: the magic incantation: https://codeberg.org/unspeaker/tek/src/commit/bd680db23065adf25d6eaeac6f67792f44e92f34/Justfile#L24-L28 (written like this because shell exports #just dont work in #justfile, lel)

tek/Justfile at bd680db23065adf25d6eaeac6f67792f44e92f34

tek - 🦀 a colorful music making program for your linux terminal 🦀

Codeberg.org

If you enjoy using Proptest in Rust, please check out my new post about state machine testing, try it out and let me know what you think! 🦀🪲

https://tzemanovic.gitlab.io/posts/state-machine-testing-with-proptest/

#RustLang #rust #testing #proptest

Tomáš Zemanovič : State machine testing with Proptest

I heard about #quickcheck in Haskell from Clojure spec talks. So I tried to use quickcheck in Rust. But I don’t know how to generate structs. So I moved to #proptest, which is like Hypothesis port from Python. 😅