chore(justfile): can add options to up-solve command

plaans · Jul 22, 2024 · 3cf8f4b · 3cf8f4b
1 parent a6db8c1
commit 3cf8f4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/justfile b/justfile
@@ -13,7 +13,7 @@ ci-up-val:
     python3 planning/unified/deps/unified-planning/up_test_cases/report.py aries-val -e up_aries_tests
 
 # Solve a UP test case
-up-solve problem:
+up-solve +problem:
     python3 planning/unified/scripts/cli.py {{problem}}
 
 # Export a UP test case to a protobuf binary file (/tmp/problem.upp)