Open norton opened 13 years ago
prop_time_t: gmt_eqc: eunit_module...Failed! Reason: {'EXIT',{function_clause,[{gmt_time,rfc2822_to_time_t,[bad_date]}, {gmt_time_eqc_tests,'-prop_time_t/0-fun-2-',1}, {eqc,'-f900_0/2-fun-4-',2}, {eqc_gen,'-f330_0/2-fun-0-',5}, {eqc_gen,f195_0,2}, {eqc_gen,gen,3}, {eqc,'-f882_0/1-fun-2-',3}, {eqc_gen,'-f330_0/2-fun-1-',4}]}} After 252 tests 2145914204 [0.181 s] ok * context cleanup failed * ::error:{assertEqual_failed,[{module,gmt_eqc}, {line,90}, {expression,"write_counterexamples ( Module )"}, {expected,[]}, {value,["gmt_time_eqc_tests:prop_time_t-20110217-163241.erl"]}]} in function gmt_eqc:'-eunit_teardown/1-fun-0-'/2
Failed: 0. Skipped: 0. Passed: 14. One or more tests were cancelled. ERROR: One or more eunit tests failed.
$ cat "lib/gmt_util/.eunit/gmt_time_eqc_tests:prop_time_t-20110217-163241.erl" [2145914204].
prop_time_t: gmt_eqc: eunit_module...Failed! Reason: {'EXIT',{function_clause,[{gmt_time,rfc2822_to_time_t,[bad_date]}, {gmt_time_eqc_tests,'-prop_time_t/0-fun-2-',1}, {eqc,'-f900_0/2-fun-4-',2}, {eqc_gen,'-f330_0/2-fun-0-',5}, {eqc_gen,f195_0,2}, {eqc_gen,gen,3}, {eqc,'-f882_0/1-fun-2-',3}, {eqc_gen,'-f330_0/2-fun-1-',4}]}} After 252 tests 2145914204 [0.181 s] ok * context cleanup failed * ::error:{assertEqual_failed,[{module,gmt_eqc}, {line,90}, {expression,"write_counterexamples ( Module )"}, {expected,[]}, {value,["gmt_time_eqc_tests:prop_time_t-20110217-163241.erl"]}]} in function gmt_eqc:'-eunit_teardown/1-fun-0-'/2
Failed: 0. Skipped: 0. Passed: 14. One or more tests were cancelled. ERROR: One or more eunit tests failed.
$ cat "lib/gmt_util/.eunit/gmt_time_eqc_tests:prop_time_t-20110217-163241.erl" [2145914204].