We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e5ca89c commit d9746e3Copy full SHA for d9746e3
cfpq_cli/run_all_pairs_cflr.py
@@ -20,10 +20,10 @@ def run_all_pairs_cflr(
20
algo_name: str,
21
graph_path: str,
22
grammar_path: str,
23
- add_contexts: bool,
24
time_limit_sec: Optional[int],
25
out_path: Optional[str],
26
- settings: List[AlgoSetting]
+ settings: List[AlgoSetting],
+ add_contexts: bool = False,
27
):
28
algo = get_all_pairs_cfl_reachability_algo(algo_name)
29
if add_contexts:
0 commit comments