From 6adf03532fdcf5863fb4f5203ad54351e471035d Mon Sep 17 00:00:00 2001
From: Shon Feder <shon@informal.systems>
Date: Mon, 10 Jul 2023 21:06:58 -0400
Subject: [PATCH] Remove redundant integration tests

This is now covered in the examples
---
 quint/cli-tests.md | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/quint/cli-tests.md b/quint/cli-tests.md
index c77f0fc67..103c176fa 100644
--- a/quint/cli-tests.md
+++ b/quint/cli-tests.md
@@ -222,11 +222,6 @@ Temporarily disabled.
 <!-- !test check SimpleAuctionNonComposable - Syntax/Types & Effects/Unit tests -->
     quint test --main=SimpleAuction ../examples/solidity/SimpleAuction/SimpleAuctionNonComposable.qnt
 
-### OK on test nondet.qnt
-
-<!-- !test check nondet - Syntax/Types & Effects/Unit tests -->
-    quint test --main=nondetEx ../examples/language-features/nondet.qnt
-
 ### OK on test lottery.qnt
 
 <!-- TODO: Spec test is erroneous https://github.com/informalsystems/quint/issues/775 -->