3 unstable releases

Uses new Rust 2021

0.2.0 Jan 7, 2022
0.1.7 Dec 13, 2021
0.1.5 Dec 7, 2021

#882 in Cryptography

Download history 11/week @ 2022-08-12 13/week @ 2022-08-19 10/week @ 2022-08-26 15/week @ 2022-09-02 16/week @ 2022-09-09 10/week @ 2022-09-16 14/week @ 2022-09-23 21/week @ 2022-09-30 15/week @ 2022-10-07 3/week @ 2022-10-14 9/week @ 2022-10-21 18/week @ 2022-10-28 18/week @ 2022-11-04 15/week @ 2022-11-11 13/week @ 2022-11-18 5/week @ 2022-11-25

54 downloads per month
Used in provola-testrunners

MIT/Apache

53KB
1.5K SLoC

Provola

Test it!Provalo! → Provola!

Provola Logo

provola is your best cheese friend when you need to test code quickly.

Input/Output test

Just create an input file, an expected output file and a program to digest the input and provola will test your program automatically whenever you change the code.

# Create a simple haskell program
echo 'main = interact reverse' > reverse.hs

# An input for your nice program
echo -n abcd > in.txt

# The expected output
echo -n dcba > out.txt

# Run provola!
provola -i in.txt -o out.txt -s reverse.hs -w .

Where:

  • -i is the input file
  • -o is the expected output file
  • -s is the source code
  • -w is the file or directory to watch for changes

Supported languages

Language Build Run
Bash /
C++ gcc
C gcc
Haskell stack ghc
JavaScript node
PHP
Python
Rust rustc

Test frameworks

provola is able to use test runners generated by popular test frameworks.

Example:

provola -T GoogleTest -t path/to/gtest/executable

GoogleTest example

Where:

  • -T is the test runner type (e.g.: GoogleTest, Catch2, ...)
  • -t is the executable to run

You don't need to specify what files to watch, because in this case provola is automatically watching changes in the test runner (not the sources!).

You can also find an example of GoogleTest runner inside provola-googletest/examples/data/

This is a (work in progress) list of supported frameworks:

Framework Language
Google Test C++
Catch2 C++

Install

If you have a rust toolchain, just clone this project and from the root directory:

cargo install --path .

egui feature, which provides a GUI, is enabled by default. You can disable it:

cargo install --no-default-features --path .

Arch Linux

You can install the provola package from aur:

yay -S provola

Shell auto completion

provola provides shell autocompletion for even faster usage.

You can install autocompletion for yout favourite shell:

provola --shell-compl zsh > ~/.zfunc/_provola

Dependencies

~2.5–8MB
~141K SLoC