fix: verify the pack the flags name, by exact name

This commit is contained in:
Abdessamad Derraz committed 2026-10-06 00:13:38 +02:00
1 parent 9be5a9bd0e
commit 64f84e7ca6
4 files changed
+326 -72

No files matched your search

+2
View File
@@ -249,6 +249,8 @@ def main():
help="Export native formats (implies --with-truth)",
)
args = parser.parse_args()
if args.all_variants and args.source != "full":
parser.error("--source is incompatible with --all-variants")
# A second run on the same output directory is refused before any work:
# the database rebuild alone takes minutes, and the reader holding the