expand-tests

To generate automated test cases for Catala modules, you can use the expand-tests skill by specifying the target domain and program, which analyzes existing source code and test suites to create new scenarios.

To expand test coverage for boundary and edge cases in Catala programs, the skill analyzes existing test suites and automatically generates new test scenarios targeting boundary values, null inputs, and edge cases.

Yes, you can target a specific domain when generating test cases for Catala code by providing the domain and program as arguments, allowing the skill to focus its test expansion on the specified area.

Yes, you need existing Catala source code and test suites to generate additional tests, because the skill relies on analyzing current test cases and source code to identify coverage gaps without duplicating existing cases.

The best way to avoid duplicating test cases when expanding Catala test coverage is to use an automated generation tool that analyzes existing tests to identify gaps and generates new scenarios for uncovered boundary and edge cases.

Automated test generation for Catala focuses on boundary and null inputs because these edge cases often reveal hidden bugs in domain-specific programs, ensuring comprehensive test coverage across the module.