tamarin-prover-term-0.8.0.0: Term manipulation library for the tamarin prover.
Term.UnitTests
Description
Unit tests for the functions dealing with term algebra and related notions.
Synopsis
tests :: FilePath -> IO TestSource
All unification infrastructure unit tests.