require(testthat);
testthat::test_check("justifier");