Home

Welcome to UnitTestBot C/C++ Wiki!

UnitTestBot C/C++ is a user-friendly wrapper over the enhanced KLEE symbolic execution engine. Generate ready-to-use test cases for your C or C++ code, and feel free to contribute.

How to use UnitTestBot C/C++

1. Make sure you can build your C project.
2. Check system requirements.
3. Prepare the environment depending on your OS.
4. Install the UnitTestBot server.
5. Choose the UnitTestBot client:
   • Visual Studio Code plugin
   • CLion plugin
   • command-line interface
   • GitHub Action
6. Generate tests with default or fine-tuned configuration.
7. Enjoy the results!

For fixing issues, refer to Troubleshooting tips.

How to contribute to UnitTestBot C/C++