freec-unit-tests

Safe Haskell	None
Language	Haskell2010

FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithHelpersTests

Description

This module contains tests for FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithHelpers.

Synopsis

testConvertRecFuncDeclWithHelpers :: Spec

Documentation

testConvertRecFuncDeclWithHelpers :: Spec Source #

Test group for convertRecFuncDeclsWithHelpers tests.