addressing #16

testsmt · May 7, 2021 · 8b94ec9 · 8b94ec9
1 parent 2ff62fd
commit 8b94ec9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -28,6 +28,7 @@ jobs:
     - name: Misc
       run: |
         python tests/integration_tests/misc/file_size_limit.py
+        python tests/integration_tests/misc/no_solvers.py
         python tests/integration_tests/misc/directory_mode.py
     - name: opfuzz
       run: |

diff --git a/src/args.py b/src/args.py
@@ -109,7 +109,10 @@
 # pre-processing
 
 # Parse CLI
-if args.SOLVER_CLIS == "": args.SOLVER_CLIS = solvers
+if args.SOLVER_CLIS == "": 
+    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
 
 if args.timeout <= 0: exit("Error: timeout should not be a negative number or zero.")