Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ The only documentation so far is this README and the
import 'dart:collection';
import 'package:propcheck/propcheck.dart';
import 'package:enumerators/combinators.dart' as c;
import 'package:unittest/unittest.dart';
import 'package:test/test.dart';

// defines append and reverse
part 'demolib.dart';
Expand Down
4 changes: 3 additions & 1 deletion example/demo.dart
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ library demo;
import 'demolib.dart';
import 'package:propcheck/propcheck.dart';
import 'package:enumerators/combinators.dart' as c;
import 'package:unittest/unittest.dart' hide equals;
import 'package:test/test.dart' hide equals;

/* --- the properties to test --- */

Expand Down Expand Up @@ -37,6 +37,7 @@ main() {
group('smallcheck', () {
final sc = new SmallCheck(depth: 10);
test('good', () => sc.check(goodProperty));

Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit: can you please drop this newline? (Same below.)

test('bad', () => sc.check(badProperty));
});

Expand All @@ -45,6 +46,7 @@ main() {
group('quickcheck', () {
final qc = new QuickCheck(maxSize: 300, seed: 42);
test('good', () => qc.check(goodProperty));

test('bad', () => qc.check(badProperty));
});
}
2 changes: 1 addition & 1 deletion example/mirrors_demo.dart
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ library mirrors_demo;

import 'demolib.dart';
import 'package:propcheck/propcheck_mirrors.dart';
import 'package:unittest/unittest.dart' hide equals;
import 'package:test/test.dart' hide equals;

/* --- the properties to test --- */

Expand Down
2 changes: 1 addition & 1 deletion pubspec.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -9,4 +9,4 @@ dependencies:
enumerators: '>=0.6.0 <0.7.0'
dev_dependencies:
collection: '>=1.4.0 <1.15.0'
unittest: '>=0.9.0 <0.10.0'
test: '>=0.12.0 <0.12.3+7'
2 changes: 1 addition & 1 deletion test/mirrors_test.dart
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
import 'package:propcheck/propcheck_mirrors.dart';
import 'package:enumerators/combinators.dart' as c;
import 'package:enumerators/enumerators.dart' as e;
import 'package:unittest/unittest.dart';
import 'package:test/test.dart';

bool boolArgument(bool x) => true;
bool intArgument(int x) => true;
Expand Down
2 changes: 1 addition & 1 deletion test/quickcheck_test.dart
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
import 'package:propcheck/propcheck.dart';
import 'package:enumerators/combinators.dart' as c;
import 'package:enumerators/enumerators.dart' as e;
import 'package:unittest/unittest.dart';
import 'package:test/test.dart';

void quickCheckPerformsCheck() {
bool called = false;
Expand Down
2 changes: 1 addition & 1 deletion test/smallcheck_test.dart
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

import 'package:propcheck/propcheck.dart';
import 'package:enumerators/combinators.dart' as c;
import 'package:unittest/unittest.dart';
import 'package:test/test.dart';

void smallCheckPerformsCheck() {
bool called = false;
Expand Down