Added: product-lines.

UnitTestBot · Apr 18, 2024 · b6e2d9d · b6e2d9d
1 parent e0d9bc1
commit b6e2d9d
Show file tree

Hide file tree

Showing 4 changed files with 3,403 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1 +1,6 @@
 # utbotc_tests
+
+Tested:
+
+- [ ] sqlite_merged_comb.c
+- [x] elevator_spec1_product03.cil.c
diff --git a/product-lines/CMakeLists.txt b/product-lines/CMakeLists.txt
@@ -0,0 +1,8 @@
+project(elevator_spec1_product03.cil)
+
+set(CMAKE_C_FLAGS "-m32")
+
+set(CMAKE_C_COMPILER clang)
+set(CMAKE_CPP_COMPILER clang++)
+
+add_executable(elevator_spec1_product03.cil elevator_spec1_product03.cil.c)