diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 594f6d7..015f172 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -435,6 +435,12 @@ class SbyJob:
         self.handle_bool_option("wait", False)
         self.handle_int_option("timeout", None)
 
+        self.handle_str_option("smtc", None)
+
+        if self.opt_smtc is not None:
+            for engine in self.engines:
+                assert engine[0] == "smtbmc"
+
         self.copy_src()
 
         if self.opt_mode == "bmc":
diff --git a/sbysrc/sby_engine_smtbmc.py b/sbysrc/sby_engine_smtbmc.py
index 392fbea..dce23e4 100644
--- a/sbysrc/sby_engine_smtbmc.py
+++ b/sbysrc/sby_engine_smtbmc.py
@@ -40,6 +40,9 @@ def run(mode, job, engine_idx, engine):
     for i, a in enumerate(args):
         smtbmc_opts += ["-s" if i == 0 else "-S", a]
 
+    if job.opt_smtc is not None:
+        smtbmc_opts += ["--smtc", "src/%s" % job.opt_smtc]
+
     model_name = "smt2"
     if syn_opt: model_name += "_syn"
     if nomem_opt: model_name += "_nomem"