| Name : ghc-leancheck
| |
| Version : 0.8.0
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : lp150.1.1
| Date : 2018-12-26 15:04:13
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-leancheck-0.8.0-lp150.1.1.src.rpm
|
| Size : 1.31 MB
| |
| Packager : (none)
| |
| Summary : Enumerative property-based testing
|
Description :
LeanCheck is a simple enumerative property-based testing library.
Properties are defined as Haskell functions returning a boolean value which
should be true for all possible choices of argument values. LeanCheck applies
enumerated argument values to these properties in search for a counterexample.
Properties can be viewed as parameterized unit tests.
LeanCheck works by producing tiers of test values: a possibly infinite list of
finite sublists of same-and-increasingly-sized values.
LeanCheck has lean core with only 180 lines of Haskell code.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/13/openSUSE_Leap_15.0/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-leancheck
ghc-leancheck(x86-64)
libHSleancheck-0.8.0-6d1O39txY6EJBrrsifRwYo-ghc8.6.3.so()(64bit)
Requires :
