Commit 9ebd6440 authored by Jaime Arias's avatar Jaime Arias
Browse files

fix: arguments of cli

parent ca1362c1
......@@ -65,7 +65,7 @@ def create_default_paths():
def command(model_name, model_instance, n_formulas, min_states, timeout,
command = os.path.join(paths["scripts"], "")
return f"{command} --n {n_formulas} --timeout {timeout} --min_states {min_states} --model_name {model_name} --model_instance {model_instance}"
return f"{command} --n {n_formulas} --timeout {timeout} --min_states {min_states} --model-name {model_name} --model-instance {model_instance}"
def generate_sbatch(model_name, model_instance, n_formulas, min_states,
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment