return assert

UnitTestBot · Aug 26, 2024 · 6e476be · 6e476be
1 parent 6e486c1
commit 6e476be
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/usvm-core/src/test/kotlin/org/usvm/constraints/NumericConstraintsTests.kt b/usvm-core/src/test/kotlin/org/usvm/constraints/NumericConstraintsTests.kt
@@ -301,7 +301,7 @@ class NumericConstraintsTests {
     companion object {
         const val RANDOM_TEST_1_ITERATIONS = 100//100_000
         const val RANDOM_TEST_2_ITERATIONS = 100//1_000_000
-        const val RANDOM_TEST_3_ITERATIONS = 100//1_000_000
+        const val RANDOM_TEST_3_ITERATIONS = 1_000_000
         const val RANDOM_TEST_4_ITERATIONS = 50//1_000_000
     }
 }
diff --git a/...l/src/main/kotlin/org/usvm/collections/immutable/implementations/immutableSet/TrieNode.kt b/...l/src/main/kotlin/org/usvm/collections/immutable/implementations/immutableSet/TrieNode.kt
@@ -695,8 +695,8 @@ class TrieNode<E>(
         return this
     }
 
-    fun isEmpty() = firstOrNull() == null
-    fun isNotEmpty() = firstOrNull() != null
+    fun isEmpty() = singleOrNull() == null
+    fun isNotEmpty() = singleOrNull() != null
 
     fun remove(element: E, owner: MutabilityOwnership): TrieNode<E> =
         mutableRemove(element.hashCode(), element, 0, owner)

diff --git a/...org/usvm/collections/immutable/implementations/immutableSet/UPersistentHashSetIterator.kt b/...org/usvm/collections/immutable/implementations/immutableSet/UPersistentHashSetIterator.kt
@@ -103,6 +103,7 @@ internal class TrieNodeIterator<out E> {
     }
 
     fun nextElement(): E {
+        assert(hasNextElement())
         @Suppress("UNCHECKED_CAST")
         return buffer[index++] as E
     }