copilot-verifier-4.3: System for verifying the correctness of generated Copilot programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Verifier.Examples.ShouldPass.Clock

Description

Example showing usage of clocks to generate periodically recurring truth values.

Synopsis

Documentation

p :: Word8 Source #

We need to force a type for the argument of period.

clkStream :: Stream Bool Source #

Both have the same period, but a different phase.

clkStream' :: Stream Bool Source #

spec :: Spec Source #

verifySpec :: Verbosity -> IO () Source #