Remove redundant integration tests

This is now covered in the examples
informalsystems · Jul 11, 2023 · 6adf035 · 6adf035
1 parent ee8707b
commit 6adf035
Showing 1 changed file with 0 additions and 5 deletions.
diff --git 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 -->