Fixed failing tests for sample language

UnitTestBot · Jul 6, 2023 · d4e2329 · d4e2329
1 parent 733c56e
commit d4e2329
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/usvm-sample-language/src/main/kotlin/org/usvm/machine/SampleTypeSystem.kt b/usvm-sample-language/src/main/kotlin/org/usvm/machine/SampleTypeSystem.kt
@@ -1,9 +1,9 @@
 package org.usvm.machine
 
-import org.usvm.types.UTypeSystem
 import org.usvm.language.SampleType
-import org.usvm.types.USupportTypeStream
+import org.usvm.types.UEmptyTypeStream
 import org.usvm.types.UTypeStream
+import org.usvm.types.UTypeSystem
 
 class SampleTypeSystem : UTypeSystem<SampleType> {
     override fun isSupertype(u: SampleType, t: SampleType): Boolean =
@@ -16,5 +16,9 @@ class SampleTypeSystem : UTypeSystem<SampleType> {
 
     override fun findSubtypes(t: SampleType): Sequence<SampleType> = emptySequence()
 
-    override fun topTypeStream(): UTypeStream<SampleType> = error("should not be called")
+    override fun topTypeStream(): UTypeStream<SampleType> = emptyTypeStream
+
+    companion object {
+        private val emptyTypeStream: UTypeStream<SampleType> = UEmptyTypeStream()
+    }
 }