anchor.diff:    }
   }
   
  -void quickCheckHonorsMaxSuccesses() {
  +void quickCheckHonorsMaxSuccesses1() {
     int counter = 0;
     bool test(int n) {
       counter++;
  
positive.code:          reason: "test wasn't called maxSuccesses times");
  }
  
  void main() {
    test('QuickCheck performs check', quickCheckPerformsCheck);
    test('QuickCheck throws exception on false', falseTriggersException);
    test('QuickCheck honors maxSize', quickCheckHonorsMaxSize);
    test('QuickCheck honors maxSuccesses', quickCheckHonorsMaxSuccesses);
  }
  
negative.code: 
  import 'package:dart_check/dart_check.dart';
  import 'package:dart_enumerators/combinators.dart' as c;
  import 'package:dart_enumerators/enumerators.dart' as e;
  import 'package:unittest/unittest.dart';
  
  void quickCheckPerformsCheck() {
  