Remove redundant integration tests

These are now checked in via the examples.
informalsystems · Jul 11, 2023 · 62c7670 · 62c7670
1 parent 6adf035
commit 62c7670
Showing 1 changed file with 0 additions and 30 deletions.
diff --git a/quint/cli-tests.md b/quint/cli-tests.md
@@ -182,36 +182,6 @@ Temporarily disabled.
 <!-- !test check LamportMutex - Types & Effects -->
     quint typecheck ../examples/classic/distributed/LamportMutex/LamportMutex.qnt
 
-### OK on parse records
-
-<!-- !test check records -->
-    quint parse ../examples/language-features/records.qnt
-
-### OK on typecheck records
-
-<!-- !test check records - Types & Effects-->
-    quint typecheck ../examples/language-features/records.qnt
-
-### OK on parse tuples
-
-<!-- !test check tuples -->
-    quint parse ../examples/language-features/tuples.qnt
-
-### OK on typecheck tuples
-
-<!-- !test check tuples - Types & Effects-->
-    quint typecheck ../examples/language-features/tuples.qnt
-
-### OK on typecheck counters
-
-<!-- !test check counters - Types & Effects-->
-    quint typecheck ../examples/language-features/counters.qnt
-
-### OK on typecheck booleans
-
-<!-- !test check booleans - Types & Effects-->
-    quint typecheck ../examples/language-features/booleans.qnt
-
 ### OK on typecheck coin
 
 <!-- !test check coin - Types & Effects-->