gast

# 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.

#### 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