From 62c7670346ddd716907f7370f1c86f5cf3756904 Mon Sep 17 00:00:00 2001
From: Shon Feder <shon@informal.systems>
Date: Tue, 11 Jul 2023 13:24:43 -0400
Subject: [PATCH] Remove redundant integration tests

These are now checked in via the examples.
---
 quint/cli-tests.md | 30 ------------------------------
 1 file changed, 30 deletions(-)

diff --git a/quint/cli-tests.md b/quint/cli-tests.md
index 103c176fa..ac803a692 100644
--- 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-->