Outputs for Propcheck Demo

master_output.txt

$ dart example/demo.dart
unittest-suite-wait-for-done
PASS: smallcheck good
ERROR: smallcheck bad
  Test failed: Caught falsified after 11 tests
    argument 1: [true]
    argument 2: [false]

  package:propcheck/propcheck.dart 93:11      SmallCheck.check
  example/demo.dart 40:26                     main.<fn>.<fn>
  package:unittest/src/test_case.dart 109:30  TestCase._run.<fn>
  dart:async/zone.dart 1371                   _RootZone.runUnary
  dart:async/future_impl.dart 129             _FutureListener.handleValue
  dart:async/future_impl.dart 636             _Future._propagateToListeners.handleValueCallback
  dart:async/future_impl.dart 665             _Future._propagateToListeners
  dart:async/future_impl.dart 478             _Future._completeWithValue
  dart:async/future_impl.dart 510             _Future._asyncComplete.<fn>
  dart:async/schedule_microtask.dart 41       _microtaskLoop
  dart:async/schedule_microtask.dart 50       _startMicrotaskLoop
  dart:isolate-patch/isolate_patch.dart 99    _runPendingImmediateCallback
  dart:isolate-patch/isolate_patch.dart 152   _RawReceivePortImpl._handleMessage
PASS: quickcheck good
ERROR: quickcheck bad
  Test failed: Caught falsified after 6 tests
    argument 1: [true, false, true]
    argument 2: [true, true]

  package:propcheck/propcheck.dart 135:9      QuickCheck.check
  example/demo.dart 48:26                     main.<fn>.<fn>
  package:unittest/src/test_case.dart 109:30  TestCase._run.<fn>
  dart:async/zone.dart 1371                   _RootZone.runUnary
  dart:async/future_impl.dart 129             _FutureListener.handleValue
  dart:async/future_impl.dart 636             _Future._propagateToListeners.handleValueCallback
  dart:async/future_impl.dart 665             _Future._propagateToListeners
  dart:async/future_impl.dart 478             _Future._completeWithValue
  dart:async/future_impl.dart 510             _Future._asyncComplete.<fn>
  dart:async/schedule_microtask.dart 41       _microtaskLoop
  dart:async/schedule_microtask.dart 50       _startMicrotaskLoop
  dart:isolate-patch/isolate_patch.dart 99    _runPendingImmediateCallback
  dart:isolate-patch/isolate_patch.dart 152   _RawReceivePortImpl._handleMessage

2 PASSED, 0 FAILED, 2 ERRORS
Unhandled exception:
Exception: Some tests failed.
#0      SimpleConfiguration.onDone (package:unittest/src/simple_configuration.dart:209:9)
#1      _completeTests (package:unittest/unittest.dart:782:11)
#2      _runTest (package:unittest/unittest.dart:737:5)
#3      _nextTestCase (package:unittest/unittest.dart:644:3)
#4      _microtaskLoop (dart:async/schedule_microtask.dart:41)
#5      _startMicrotaskLoop (dart:async/schedule_microtask.dart:50)
#6      _runPendingImmediateCallback (dart:isolate-patch/isolate_patch.dart:99)
#7      _RawReceivePortImpl._handleMessage (dart:isolate-patch/isolate_patch.dart:152)

update-tests_output.txt

dart example/demo.dart
00:00 +0: smallcheck good
00:00 +1: smallcheck bad
00:00 +1 -1: smallcheck bad
  falsified after 11 tests
    argument 1: [true]
    argument 2: [false]

  package:propcheck/propcheck.dart 93:11  SmallCheck.check
  example/demo.dart 41:26                 main.<fn>.<fn>

00:00 +1 -1: quickcheck good
00:00 +2 -1: quickcheck bad
00:00 +2 -2: quickcheck bad
  falsified after 6 tests
    argument 1: [true, false, true]
    argument 2: [true, true]

  package:propcheck/propcheck.dart 135:9  QuickCheck.check
  example/demo.dart 50:26                 main.<fn>.<fn>

00:00 +2 -2: Some tests failed.

Unhandled exception:
Dummy exception to set exit code.
#0      _rootHandleUncaughtError.<anonymous closure> (dart:async/zone.dart:1108)
#1      _microtaskLoop (dart:async/schedule_microtask.dart:41)
#2      _startMicrotaskLoop (dart:async/schedule_microtask.dart:50)
#3      _Timer._runTimers (dart:isolate-patch/timer_impl.dart:375)
#4      _Timer._handleMessage (dart:isolate-patch/timer_impl.dart:394)
#5      _RawReceivePortImpl._handleMessage (dart:isolate-patch/isolate_patch.dart:151)