News: Learn Prolog Now! with embedded SWISHSearch 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:4a92f3ed5bc5896361b3e2e338b4c057abf66f75
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.0109deb3a9a3f46b0261c9ec2811b2b3353bf2e302https://github.com/mndrix/quickcheck/archive/v0.1.0.zip
4a92f3ed5bc5896361b3e2e338b4c057abf66f754https://github.com/mndrix/quickcheck.git

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

Contents of pack "quickcheck"

Pack contains 10 files holding a total of 11.9K bytes.