CI

Author: S1eGa

.gitmodules

@@ -1,6 +1,7 @@
 [submodule "klee"]
 	path = submodules/klee
 	url = https://github.com/UnitTestBot/klee.git
+	branch = typed-klee
 [submodule "Bear"]
 	path = submodules/Bear
 	url = https://github.com/UnitTestBot/Bear.git

server/src/KleeRunner.cpp

@@ -221,6 +221,8 @@ KleeRunner::createKleeParams(const tests::TestMethod &testMethod,
                                           "--entry-point=" + KleeUtils::entryPointFunction(tests, testMethod.methodName, true),
                                           "--libc=klee",
                                           "--utbot",
+                                          "--use-tbaa",
+                                          "--type-system=CXX",
                                           "--posix-runtime",
                                           "--fp-runtime",
                                           "--only-output-states-covering-new",