tamarin-prover-term-0.8.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

tests :: FilePath -> IO TestSource

All unification infrastructure unit tests.