freec-unit-tests

Safe Haskell	None
Language	Haskell2010

FreeC.Backend.Coq.Converter.FuncDecl.Rec.WithSectionsTests

Description

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

Synopsis

testConvertRecFuncDeclWithSections :: Spec

Documentation

testConvertRecFuncDeclWithSections :: Spec Source #

Test group for convertRecFuncDeclsWithSection tests.