Merge pull request #27 from elbeno/update-compile-fail-tests

Update compile fail tests

Author: elbeno

.github/workflows/unit_tests.yml

@@ -94,6 +94,9 @@ jobs:
             version: 15
           - compiler: gcc
             version: 14
+          - compiler: clang
+            version: 14
+            stdlib: libstdc++
           - compiler: clang
             version: 13
           - compiler: clang

test/safe/array/CMakeLists.txt

@@ -1 +1,2 @@
-add_compile_fail_test(array_constant_access_max_violation.cpp)
+add_compile_fail_test(array_constant_access_max_violation.cpp LIBRARIES
+                      safe_arithmetic)

test/safe/var/CMakeLists.txt

@@ -1,8 +1,12 @@
-add_compile_fail_test(assign_constant_max_violation.cpp)
-add_compile_fail_test(assign_constant_min_violation.cpp)
-add_compile_fail_test(construct_constant_max_violation.cpp)
-add_compile_fail_test(construct_constant_min_violation.cpp)
-add_compile_fail_test(interval_larger_than_type.cpp)
-add_compile_fail_test(assign_lhs_rhs_union.cpp)
-add_compile_fail_test(assign_lhs_union.cpp)
-add_compile_fail_test(assign_rhs_union.cpp)
+add_compile_fail_test(assign_constant_max_violation.cpp LIBRARIES
+                      safe_arithmetic)
+add_compile_fail_test(assign_constant_min_violation.cpp LIBRARIES
+                      safe_arithmetic)
+add_compile_fail_test(construct_constant_max_violation.cpp LIBRARIES
+                      safe_arithmetic)
+add_compile_fail_test(construct_constant_min_violation.cpp LIBRARIES
+                      safe_arithmetic)
+add_compile_fail_test(interval_larger_than_type.cpp LIBRARIES safe_arithmetic)
+add_compile_fail_test(assign_lhs_rhs_union.cpp LIBRARIES safe_arithmetic)
+add_compile_fail_test(assign_lhs_union.cpp LIBRARIES safe_arithmetic)
+add_compile_fail_test(assign_rhs_union.cpp LIBRARIES safe_arithmetic)