Package

es.ucm.fdi

sscheck

Permalink

package sscheck

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. sscheck
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type TestCaseId = Int

    Permalink

  2. class TestCaseIdCounter extends AnyRef

    Permalink

    This class can be used to generate unique test case identifiers per each instance.

Value Members

  1. package gen

    Permalink

  2. package prop

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped