Disable running smt tests in ubsan runs.

ekpyron · ekpyron · commit 5c67d7d8e3ce · 2022-02-14T11:48:56.000+01:00
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -1098,6 +1098,7 @@ jobs:
     parallelism: 20
     environment:
       EVM: << pipeline.parameters.evm-version >>
+      SOLTEST_FLAGS: --no-smt
     <<: *steps_soltest
 
   t_ubu_ubsan_clang_cli:
