PHP download

PHP code example of steos / php-quickcheck

1. Go to this page and download the library: Download steos/php-quickcheck library. Choose the download type require.

2. Extract the ZIP file and open the index.php.

3. Add this code to the index.php.

    
        
<?php
require_once('vendor/autoload.php');

/* Start to develop here. Best regards https://php-download.com/ */

steos / php-quickcheck example snippets



use QuickCheck\Generator as Gen;
use QuickCheck\Test;

Test::forAll(
    [Gen::asciiStrings()],
    function($str) {
        return !is_numeric($str);
    }
);


$> vendor/bin/quickcheck test/stringsAreNeverNumeric.php -t 1000