Did you know? julian pack offers match based datesSearch Documentation:
SWI-Prolog owl logoPacks (add-ons) for SWI-Prolog

Package "quickcheck"

Title:QuickCheck randomized testing
Rating:Not rated. Create the first rating!
Latest version:0.1.0
SHA1 sum:109deb3a9a3f46b0261c9ec2811b2b3353bf2e30
Author:Michael Hendricks <michael@ndrix.org>
Maintainer:Michael Hendricks <michael@ndrix.org>
Packager:Michael Hendricks <michael@ndrix.org>
Home page:https://github.com/mndrix/quickcheck
Download URL:https://github.com/mndrix/quickcheck/archive/v0.1.0.zip

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
0.0.1be8e81e38aa726848d368916e6eb386f62a808041http://packs.ndrix.com/quickcheck/quickcheck-0.0.1.tgz
0.0.2d508afe81204f4438eaad6f79ec7da7d2da2b5f011http://packs.ndrix.com/quickcheck/quickcheck-0.0.2.tgz
0.0.303820d6d8f7b29798d443d90b8a080508a88f92a16http://packs.ndrix.com/quickcheck/quickcheck-0.0.3.tgz
0.1.0109deb3a9a3f46b0261c9ec2811b2b3353bf2e301https://github.com/mndrix/quickcheck/archive/v0.1.0.zip

Synopsis

:- use_module(library(quickcheck)).

% reversing a list twice gives back the same list
prop_reverse_twice(L:list) :-
    reverse(L, R),
    reverse(R, L).

?- quickcheck(prop_reverse_twice/1).
100 tests OK
true.

Description

Randomized testing of program properties in the spirit of QuickCheck. Describe properties of your predicates and let library(quickheck) generate test cases for you.

A detailed tutorial is available.

Installation

Using SWI-Prolog 7.1 or later:

?- pack_install(quickcheck).

This module uses semantic versioning.

Source code available and pull requests accepted at http://github.com/mndrix/quickcheck

author
- Michael Hendricks <michael@ndrix.org>
license
- BSD

Contents of pack "quickcheck"

Pack contains 9 files holding a total of 10.7K bytes.