tamarin-prover-term-0.4.0.0: Term manipulation library for the tamarin prover.

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe-Infered

Term.UnitTests

Description

Unit tests for the functions dealing with term algebra and related notions.

Synopsis

Documentation

mainSource

Arguments

:: FilePath

Path to maude executable.

-> IO Counts 

Execute all unification infrastructure unit tests.