use warnings;
    use strict;

    use Test::More;
    use Test::LectroTest;

    {
        no warnings;
        sub Test::Builder::ok { $_[1] ? 1 : 0 }  # redefine ok()
    }

    Property {
        ##[ x <- Int( range=>[0,10] ) ]##
        cmp_ok( $x, '>=', 0, "" );
    }, name => "cmp_ok() works with LectroTest";

##</code><code>##

    $ perl pm-lectrotest-testbuilder.pl
    1..1
    ok 1 - 'cmp_ok() works with LectroTest' (1000 attempts)