| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Coq.ConverterTests
Description
This module contains tests for modules with the
FreeC.Backend.Coq.Converter prefix.
Synopsis
- testConverter :: Spec
Documentation
testConverter :: Spec Source #
Test group for all FreeC.Backend.Coq.Converter tests.