s2mc-testing/io.github.kory33.s2mctest.testing/S2mcAssertionsSupport/ExpectResult

ExpectResult

enum ExpectResult
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Enum entries

case Satisfied(view: WorldView)
case TimedOut extends ExpectResult