copilot-verifier-4.5.1: System for verifying the correctness of generated Copilot programs

Safe Haskell	None
Language	Haskell2010

Copilot.Verifier.Examples.ShouldPass.Voting

Description

Fault-tolerant voting examples.

Documentation

vote :: Spec Source #

verifySpec :: Verbosity -> IO () Source #