Serialized Form

Package org.verifyica.api

Exception Class org.verifyica.api.Assumptions.Failed

class Failed extends RuntimeException implements Serializable

Exception Class org.verifyica.api.Execution.ExecutionSkippedException

class ExecutionSkippedException extends RuntimeException implements Serializable

Class org.verifyica.api.ExtendedMap

class ExtendedMap extends ConcurrentHashMap<K,V> implements Serializable

Exception Class org.verifyica.api.SkipExecution

class SkipExecution extends RuntimeException implements Serializable