verify-non-fail-2.0.0 --------------------- Version 2.0.0 Author Michael Hanus Synopsis A tool to verify Curry operations as non-failing Category Programming Analysis Verification Dependencies base >= 3.2.0, < 4.0.0 abstract-curry >= 4.0.0, < 5.0.0 cass >= 4.0.0, < 5.0.0 cass-analysis >= 4.0.0, < 5.0.0 containers >= 3.0.0, < 4.0.0 contracts >= 3.0.0, < 4.0.0 csv >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 execpath >= 3.0.0, < 4.0.0 extra >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 5.0.0 flatcurry-smt ^2.0.0 io-extra >= 3.0.0, < 4.0.0 json >= 3.0.0, < 4.0.0 process >= 3.0.0, < 4.0.0 profiling >= 3.0.0, < 4.0.0 rw-data >= 1.0.0 scc >= 3.0.0, < 4.0.0 time >= 3.0.0, < 4.0.0 transformers >= 3.0.0, < 4.0.0 wl-pprint >= 3.0.0, < 4.0.0 xml >= 3.0.0, < 4.0.0 Executable Name curry-calltypes Main module Main Options kics2: :set rts -T Config module PackageConfig Source Git https://github.com/curry-packages/verify-non-fail.git@v2.0.0 License BSD-3-Clause License file LICENSE