lattest-lib: Model-based testing framework

[ bsd3, library, testing ] [ Propose Tags ] [ Report a vulnerability ]

Welcome to Lattest, the latest attested lattice testing tech!

The purpose of Lattest to assist in model-based testing: set up a test for external systems, where the expected behaviour of that system is expressed as a specification model in the form of an automaton.

For details on setting up such a test, see Lattest.Exec.Testing

Modules

[Index] [Quick Jump]

Data
- Data.OrdMonad
Lattest
- Adapter
  - Lattest.Adapter.Adapter
  - Lattest.Adapter.StandardAdapters
- Exec
- Model
  - Lattest.Model.Alphabet
  - Lattest.Model.Automaton
  - Lattest.Model.BoundedMonad
  - Lattest.Model.StandardAutomata
  - Symbolic
    - Lattest.Model.Symbolic.Expr
    - Internal
      - Lattest.Model.Symbolic.Internal.ExprDefs
      - Lattest.Model.Symbolic.Internal.FreeMonoidX
    - Lattest.Model.Symbolic.SolveSymPrim
- Lattest.SMT
- Streams
  - Lattest.Streams.Synchronized
    - Lattest.Streams.Synchronized.Attoparsec
- Util

Downloads

lattest-lib-0.1.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

dpvanbalen

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0.0
Change log	CHANGELOG.md
Dependencies	aeson (>=2.2.3.0 && <2.4), attoparsec (>=0.14.4 && <0.15), attoparsec-aeson (>=2.2.2 && <2.3), base (>=4.19.2 && <4.22), bytestring (>=0.12.1 && <0.13), cassava (>=0.5.3.2 && <0.6), containers (>=0.6.8 && <0.8), either (>=5.0.2 && <5.1), extra (>=1.7.16 && <1.9), io-streams (>=1.5.2 && <1.6), list-shuffle (>=1.0.0 && <1.1), MissingH (>=1.6.0 && <1.7), mtl (>=2.3.1 && <2.4), network (>=3.2.7.0 && <3.3), parallel (>=3.2.2.0 && <3.4), random (>=1.2.1.3 && <1.4), sbv (>=11.0 && <15), scientific (>=0.3.8 && <0.4), stm (>=2.5.3 && <2.6), text (>=2.1.1 && <2.2), time (>=1.12.2 && <1.15), unbounded-delays (>=0.1.1 && <0.2) [details]
License	BSD-3-Clause
Copyright	2023 Ramon Janssen
Author	Ramon Janssen
Maintainer	David van Balen
Uploaded	by dpvanbalen at 2026-07-14T13:09:02Z
Category	Testing
Home page	https://github.com/ramon-janssen/lattest
Distributions
Downloads	0 total (0 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2026-07-14 [all 1 reports]