Orchestrata Ultimate › Tests › Reference › scripts › test_factory_c4_cli
Tests reference — tests/scripts/test_factory_c4_cli.py
Module of tests/scripts, split out because the directory page would be too large.
Prose pending.
tests/scripts/test_factory_c4_cli.py
source · 11 tests · 251 lines
Tests for scripts/factory_c4.py — the SPEC-033 B26 C4 declared-formalization
Covers: factory.formalization.models
| Kind | Name | Line | Description |
|---|---|---|---|
| function | test_template_writes_skeleton_under_constrained_by_default |
108 | |
| function | test_template_refuses_overwrite_by_default |
127 | |
| function | test_template_overwrite_flag_replaces_existing_file |
136 | |
| function | test_check_clean_formalization_exits_zero |
159 | |
| function | test_check_under_constrained_exits_one_and_prints_witnesses |
170 | |
| function | test_check_contradiction_exits_one_and_prints_core |
182 | |
| function | test_check_json_clean_report_shape |
197 | |
| function | test_check_json_under_constraint_report_shape |
210 | |
| function | test_check_json_contradiction_report_shape |
224 | |
| function | test_check_missing_file_exits_one_with_error |
239 | |
| function | test_no_command_prints_help_and_exits_one |
248 |