gistfile1.erl

-module(dumb_math_tests).
-compile(export_all).

-include_lib("proper/include/proper.hrl").
-include_lib("eunit/include/eunit.hrl").



prop_square_never_negative() ->

    ?FORALL( Number, proper_types:number(), dumb_math:square(Number) >= 0 ).



square_test_() ->

    { "Square tests", [

        { "Zero",                      ?_assert(    0 =:= dumb_math:square(0)   ) },
        { "Two",                       ?_assert(    4 =:= dumb_math:square(2)   ) },
        { "Neg Two",                   ?_assert(    4 =:= dumb_math:square(-2)  ) },
        { "One and a half",            ?_assert( 2.25 =:= dumb_math:square(1.5) ) },

        {"Stochastic: never negative", ?_assert( true =:= proper:quickcheck(prop_square_never_negative()) ) }

    ] }.