diff --git a/src/klee_web/worker/processor/klee_run.py b/src/klee_web/worker/processor/klee_run.py
index f589ea6d..8b94d730 100644
--- a/src/klee_web/worker/processor/klee_run.py
+++ b/src/klee_web/worker/processor/klee_run.py
@@ -1,3 +1,4 @@
+import shlex
 from worker.processor.base import BaseProcessor
 
 
@@ -46,7 +47,7 @@ def create_klee_command(self, arg_list):
 
         options = self.args.get('options')
         if options:
-            klee_command += [options]
+            klee_command += shlex.split(options)
 
         return klee_command + [self.runner.DOCKER_OBJECT_FILE] + arg_list