Language.KansasLava.Test

Documentation

testMe :: String -> Maybe [String] -> Bool

neverTestMe :: String -> [String] -> Bool

verbose :: Int -> String -> Int -> String -> IO ()

fileReporter :: FilePath -> FilePath -> Result -> IO ()

data TestSeq

Constructors

TestSeq (String -> Int -> Fabric () -> Fabric (Int -> Maybe String) -> IO ()) ()

testFabrics

Arguments

:: Options

-> SimMods

(String,KLEG -> IO KLEG)

-> String

-> Int

-> Fabric ()

-> Fabric (Int -> Maybe String)

-> IO ()

data Gen a

Constructors

Gen Integer (Integer -> Maybe a)

arbitrary :: forall w. Rep w => Gen w

allCases :: Rep w => [w]

allCases returns all values of type w, in a non-random order.

finiteCases :: Rep w => Int -> [w]

finiteCases returns finite values, perhaps many times, in a random order.

testDriver :: Options -> [TestSeq -> IO ()] -> IO ()

generateReport :: FilePath -> IO ()

data Options

Constructors

Options

Fields

genSim :: Bool

Generate modelsim testbenches for each test?

runSim :: Bool

Run the tests after generation?

simCmd :: String

Command to call with runSim is True

simPath :: FilePath

Path into which we place all our simulation directories.

permuteMods :: Bool

False: Run each mod separately. True: Run all possible permutations of the mods to see if they affect each other.

verboseOpt :: Int

See verbose table below.

testOnly :: Maybe [String]

Lists of tests to execute. Can match either end. Nothing means all tests.

testNever :: [String]

List of tests to never execute. Can match either end.

testData :: Int

cut off for random testing

parTest :: Int

how may tests to run in parallel

Instances

Data Options

Show Options

Default Options

Typeable * Options

matchExpected :: (Rep a, Size (W a), Show a) => String -> Seq a -> Fabric (Int -> Maybe String)

matchExpected reads a named input port from a Fabric, and checks to see that it is a refinement of a given "specification" of the output. If there is a problem, issue an error message.

data StreamTest w1 w2

Constructors

StreamTest

Fields

theStream :: Patch (Seq (Enabled w1)) (Seq (Enabled w2)) (Seq Ack) (Seq Ack)

correctnessCondition :: [w1] -> [w2] -> Maybe String

theStreamTestCount :: Int

theStreamTestCycles :: Int

theStreamName :: String

testStream :: forall w1 w2. (Eq w1, Rep w1, Show w1, Size (W w1), Eq w2, Rep w2, Show w2, Size (W w2)) => TestSeq -> String -> StreamTest w1 w2 -> IO ()