addressing #16

testsmt · May 7, 2021 · 8e59c08 · 8e59c08
1 parent e9d46d5
commit 8e59c08
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/args.py b/src/args.py
@@ -110,9 +110,8 @@
 
 # Parse CLI
 if args.SOLVER_CLIS == "": 
-    # if len(solvers) == 0:
-        # print("well")
-        # exit("Error: no solver specified. Either change the commandline or edit config/config.py.")
+    if len(solvers) == 0:
+         exit("Error: no solver specified. Either change the commandline or edit config/config.py.")
     args.SOLVER_CLIS = solvers
 else: args.SOLVER_CLIS = args.SOLVER_CLIS.split(";") + solvers