clibra

Command-line interface for the LIBRA CMake framework.

Install

cargo install clibra

Usage

clibra build --preset debug
clibra test --preset debug
clibra --help

Full documentation: https://jharwell.github.io/libra