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

Copilot.Verifier.Examples.ShouldPass.ArrayTriggerArgument

Description

A regression test for https://github.com/Copilot-Language/copilot/issues/431.

Documentation

spec :: Spec Source #

verifySpec :: Verbosity -> IO () Source #