#! /usr/bin/perl

use Test::LectroTest;
use Die;

Property {
  ##[ x <- Int( range => [ 1, 100 ], sized => 0 ) #]##
  my $die = Die->new( $x );
  my $roll = $die->roll();

  ( 0 < $roll && $x >= $roll );
}, name => "My die returns something between 1 and the number of sides of the die.";

Property {
  ##[ x <- Unit( 6 ) #]##
  my $die = Die->new( $x );
  my $roll = $die->roll();

  $tcon->label( $roll );

  ( 0 < $roll && $x >= $roll );
}, name => "With a six sided die, I get this distribution";