| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Coq.Analysis.DecreasingArgumentsTests
Description
This module contains tests for FreeC.Backend.Coq.Analysis.DecreasingArguments.
Synopsis
- testDecreasingArguments :: Spec
Documentation
testDecreasingArguments :: Spec Source #
Test group for identifyDecArgs tests.