lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
Testing

Lucid includes unit tests and integration tests. All tests use the Google Test framework and are run using Bazel.

Running the tests

To run all the tests, use the following command:

bazel test //tests/...

To only run a subset of the available tests, there are multiple options:

# Run all the unit tests
bazel test //tests/unit/...

# Run all the integration tests
bazel test //tests/integration/...

# Run a specific test (the logging test in this case)
bazel test //tests/unit/util:test_logging
Note
Integration tests and bindings tests use Gurobi, and therefore need a valid Gurobi license to run. Just copy the licence gurobi.lic in the tests/integration and tests/bindings directories respectively.