atom-1.0.13: An EDSL for embedded hard realtime applications.

Copyright	(c) 2013 Tom Hawkins & Lee Pike
Safe Haskell	None
Language	Haskell98

Language.Atom.Unit

Contents

Types and Classes
Test Execution
Printing Utilities

Description

Unit testing, coverage, reporting & debugging for Atom

Synopsis

data Test = Test {
- name :: String
- cycles :: Int
- testbench :: Atom ()
- modules :: [FilePath]
- includes :: [FilePath]
- declCode :: String
- initCode :: String
- loopCode :: String
- endCode :: String
}
defaultTest :: Test
class Expr a => Random a where
- random :: E a
runTests :: Int -> [IO Test] -> IO ()
printStrLn :: String -> Atom ()
printIntegralE :: IntegralE a => String -> E a -> Atom ()
printFloatingE :: FloatingE a => String -> E a -> Atom ()
printProbe :: (String, UE) -> Atom ()

Types and Classes

data Test Source

Parameters for a test simulation

Constructors

Fields

name :: String: Name for test (used in log file, state name, and output)
cycles :: Int: Number of simulation cycles to run
testbench :: Atom (): Atom specification to test
modules :: [FilePath]: Other C files to build in
includes :: [FilePath]: Other C headers to include
declCode :: String: C declarations and definitions inserted prior to the main function
initCode :: String: C code executed inside the main function, prior to loopCode
loopCode :: String: C code executed inside the loop running the test
endCode :: String: C code executed after that loop, but still in main

defaultTest :: Test Source

Default test parameters

class Expr a => Random a where Source

Methods

random :: E a Source

Instances

Test Execution

runTests Source

Arguments

:: Int

Random seed

-> [IO Test]

List of tests to run

-> IO ()

Run a list of tests, output a report on test passes and coverage.

Printing Utilities

printStrLn :: String -> Atom () Source

Print a string in C using printf, appending a newline.

printIntegralE Source

Arguments

Prefix for printed value

-> E a

Integral value to print

-> Atom ()

Print an integral value in C using printf.

printFloatingE Source

Arguments

Prefix for printed value

-> E a

Floating point value to print

-> Atom ()

Print a floating point value in C using printf.

printProbe :: (String, UE) -> Atom () Source

Print the value of a probe to the console (along with its name).