@@ -8,7 +8,7 @@ library demo;
88import 'demolib.dart' ;
99import 'package:propcheck/propcheck.dart' ;
1010import 'package:enumerators/combinators.dart' as c;
11- import 'package:unittest/unittest .dart' hide equals;
11+ import 'package:test/test .dart' hide equals;
1212
1313/* --- the properties to test --- */
1414
@@ -37,14 +37,36 @@ main() {
3737 group ('smallcheck' , () {
3838 final sc = new SmallCheck (depth: 10 );
3939 test ('good' , () => sc.check (goodProperty));
40- test ('bad' , () => sc.check (badProperty));
40+
41+ test ('bad' , () {
42+ try {
43+ sc.check (badProperty);
44+ } catch (exception) {
45+ expect (exception.toString (), equalsIgnoringWhitespace (
46+ 'falsified after 11 tests\n '
47+ ' argument 1: [true]\n '
48+ ' argument 2: [false]\n '
49+ '' ));
50+ }
51+ });
4152 });
4253
4354 // we test the properties against random pairs of lists of bools of
4455 // combined size 0, 1, ..., 300.
4556 group ('quickcheck' , () {
4657 final qc = new QuickCheck (maxSize: 300 , seed: 42 );
4758 test ('good' , () => qc.check (goodProperty));
48- test ('bad' , () => qc.check (badProperty));
59+
60+ test ('bad' , () {
61+ try {
62+ qc.check (badProperty);
63+ } catch (exception) {
64+ expect (exception.toString (), equalsIgnoringWhitespace (
65+ 'falsified after 6 tests\n '
66+ ' argument 1: [true, false, true]\n '
67+ ' argument 2: [true, true]\n '
68+ '' ));
69+ }
70+ });
4971 });
5072}
0 commit comments