gast


Package info
Description

The Gast generic testing framework.

Readme
# G∀ST This repository contains the G∀ST testing framework for Clean. An overview of the library and the underlying ideas is provided in: * ftp://ftp.cs.ru.nl/pub/CSI/SoftwEng.FunctLang/papers/2006/koop2006-AutomaticTestingFunctionSpecificationsCEFPS.pdf * https://www.researchgate.net/publication/235900230_Model_Based_Testing_with_Logical_Properties_versus_State_Machines ## G∀ST's special status concerning dependencies G∀ST is used to test many libraries in the Clean ecosystem. So if a library introduces a breaking change in a function that is both tested by G∀ST _and_ used by G∀ST this is problematic. - Be careful when exporting types - NEVER export generic functions (they cannot be masked using `qualified` imports). ## License The package is licensed under the BSD-2-Clause license; for details, see the [LICENSE](LICENSE) file.
Changelog
# Changelog #### 0.4.16 - Chore: support base `3.0`. #### 0.4.15 - Feature: add `ggen` and `genShow` derivations for `:: FileError`. #### 0.4.14 - Feature: add `ggen` and `genShow` derivations for `:: JSONNode`. #### 0.4.13 - Feature: add `genShow` derivation for `:: Map`. #### 0.4.12 - Enhancement: Reduce the heap usage of `ggen`. Heap usage was higher than with version `2`, but is now even slightly lower. #### 0.4.11 - Feature: add the `genShow` and `ggen` derivations for `:: Either`. #### 0.4.10 - Feature: add `Data.Error.Gast` module, containing the `genShow` and `ggen` derivation for `:: MaybeError`. #### 0.4.9 - Chore: remove constaint on base-compiler. #### 0.4.8 - Feature: move `Text.Unicode.Encodings.UTF8.Gast` to the gast package from the text package to avoid a circular dependency. - Feature: Add derivation of `genShow` for `:: Set`. - Feature: move `Text.Unicode.UChar.Gast` to the gast package from the text package to avoid a circular dependency. #### 0.4.7 - Chore: require system 2 and support generic-print 1 and 3 instead of 1 and 2. - Feature: move `System.Time.Gast` to the gast package. #### 0.4.6 - Chore: support generic-print 2 alongside generic-print 1. #### 0.4.5 - Chore: support compiler 3.1 (fixed issues with the run time system). #### 0.4.4 - Enhancement: `ggen` generates the minimal/maximal values for `Char`. #### 0.4.3 - Fix: restrict `base-compiler < 3.0.3`, as higher versions cause segfaults. #### 0.4.2 - Enhancement: drop local dependencies and use packages now. #### 0.4.1 - Fix: add library files for windows to `nitrile.yml` to fix packaging. ### 0.4.0 - Change: add derives for builtin maybe types. - Change: remove some occurances of gEq. #### 0.3.1 - Fix: fix published packages; provide separate packages for Linux-x64, Linux-x86 and Windows-x64. ## 0.3.0 - Remove dependency on clean-platform by importing the dependencies in the tree. - Change: `Gast.ConfSM` is not imported anymore with `Gast`. #### 0.2.3 - Chore: accept clean-platform 0.3 and 0.4 as dependency. #### 0.2.2 - Enhancement: derive ggen for 9-tuples. #### 0.2.1 - Chore: update platform dependency version to 0.3.1. ## 0.2.0 - Switch to nitrile. ## 22.5 No changes ## 22.4 No changes ## 22.3 No changes ## 22.2 No changes ## 22.1 No changes ## 22.0 No changes ## 21.7 No changes ## 21.6 ### Fixes - `quietn`/`quiet` now print CE including arguments; `verbosePrintConfig` includes printing CE args, Gijs Alberts (@gijstop), !54 ## 21.5 No changes ## 21.4 ### Fixes - fix with_options.icl which was broken by recent change in Data.Set API, Steffen Michels (@smichels), !49 ## 21.3 No changes ## 21.2 - Added license ## 21.1 First tagged release
Versions