CN: Fix CI

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