proptest VS tui-rs

In this post, I will tell you how I used property testing with the Proptest library in Rust to ensure the correctness of a bunch of generated serialization/deserialization code for the Apache Kafka protocol.

proptest: Property-based testing with random input generation.

Isn't proptest something that could handle this?

https://github.com/proptest-rs/proptest

Proptest is a Rust crate for property-based testing. Recently I wanted/needed to manually implement a proptest strategy for my own type, and I realized that there is not that much material on how to do it. So I wrote a post where I tried to describe what I learned. It's a bit niche, but I hope that someone at some point will find it useful.

Take a look at proptest.

Yes exactly, you can also add to this fuzzing and property based testing.

proptest is great! It generates random input data according to some rules, and if the input fails it saves random seed into a file so that failing inputs are guaranteed to be tested on the subsequent runs (as well as new random inputs). It also doesn't immediately stop on fail but tries to find a minimal failing input first.

The only other crate I could find is proptest, but it looks a lot more complicated, and I don't know if lets you skip the shrinking step as quickcheck does. I've been reading the book and going through the docs, but a quick answer would be appreciated.

We just released proptest 1.1.0, a property-testing framework for Rust. Proptest has recently found new maintainers, and this marks the first new release of proptest in ~2 years.

The TUI is built with the awesome Ratatui [0] library (formerly tui-rs [1]). UX is certainly not my area of expertise and I would not have been able to create Trippy without this library.

[0] https://github.com/ratatui-org/ratatui

[1] https://github.com/fdehau/tui-rs

Rust has great libraries for TUIs. tui-rs (https://github.com/fdehau/tui-rs) has been used in numerous popular applications, but is unmaintained. ratatui (https://github.com/tui-rs-revival/ratatui) is the maintained version, and is pretty new. Less widely known is cursive (https://github.com/gyscos/cursive), which I have yet to try.

Aside from the libraries, I just wanted to start a project that would make be better at Rust. The easy distribution with cargo is a huge bonus though.

CLI, use Clap. If you want to get fancy, use Tui.

u/lordnacho666 It uses the fabulous https://github.com/fdehau/tui-rs (now revived as https://github.com/tui-rs-revival/ratatui) TUI lib.

This app is based on the these two crate in rust (tui-rs , tui-textarea). The text area provide the Emacs motions and I integrated the vim motions there, but the editor in this app as much simpler than the huge VIM and Emacs systems

If you interested in the TUI apps in rust you can start with the crate tui-rs or its revival ratatui. They have examples inside of them which you can start and see the source code to get the basic functionalities. For the text editor you can check examples in the crate tui-textarea.

For Golang there is Bubbletea [1], Textual [2] for Python and tui-rs for Rust [3].

[1] https://github.com/charmbracelet/bubbletea

[2] https://github.com/textualize/textual

[3] https://github.com/fdehau/tui-rs

You can check tui-rs, is a library to build CLI interfaces and has some examples about using user input without blocking the UI