CN: Fix CI

For some reason this tests is causing a CI failure related to SMT issues that is not reproducible locally: #663
rems-project · Oct 28, 2024 · fd56751 · fd56751
1 parent 372e68b
commit fd56751
Showing 1 changed file with 0 additions and 43 deletions.
diff --git a/tests/cn/record1.c b/tests/cn/record1.c