diff --git a/src/Test/Syd/Output.hs b/src/Test/Syd/Output.hs
--- a/src/Test/Syd/Output.hs
+++ b/src/Test/Syd/Output.hs
@@ -75,7 +75,12 @@
       totalTimeSeconds = fromIntegral timing / 1_000_000_000
    in map (padding :) $
         concat
-          [ [ [ chunk "Passed:                       ",
+          [ [ [ chunk "Examples:                     ",
+                fore green $ chunk (T.pack (show testSuiteStatExamples))
+              ]
+              | testSuiteStatExamples /= testSuiteStatSuccesses
+            ],
+            [ [ chunk "Passed:                       ",
                 fore green $ chunk (T.pack (show testSuiteStatSuccesses))
               ],
               [ chunk "Failed:                       ",
diff --git a/src/Test/Syd/SpecDef.hs b/src/Test/Syd/SpecDef.hs
--- a/src/Test/Syd/SpecDef.hs
+++ b/src/Test/Syd/SpecDef.hs
@@ -17,6 +17,7 @@
 module Test.Syd.SpecDef where
 
 import Data.Kind
+import Data.Maybe
 import Data.Text (Text)
 import qualified Data.Text as T
 import Data.Word
@@ -177,6 +178,9 @@
           { testSuiteStatSuccesses = case testRunResultStatus of
               TestPassed -> 1
               TestFailed -> 0,
+            testSuiteStatExamples = case testRunResultStatus of
+              TestPassed -> fromMaybe 1 testRunResultNumTests
+              TestFailed -> fromMaybe 1 testRunResultNumTests + fromMaybe 0 testRunResultNumShrinks,
             testSuiteStatFailures = case testRunResultStatus of
               TestPassed -> 0
               TestFailed -> 1,
@@ -187,6 +191,7 @@
       PendingNode _ _ ->
         TestSuiteStats
           { testSuiteStatSuccesses = 0,
+            testSuiteStatExamples = 0,
             testSuiteStatFailures = 0,
             testSuiteStatPending = 1,
             testSuiteStatSumTime = 0,
@@ -197,6 +202,7 @@
 
 data TestSuiteStats = TestSuiteStats
   { testSuiteStatSuccesses :: !Word,
+    testSuiteStatExamples :: !Word,
     testSuiteStatFailures :: !Word,
     testSuiteStatPending :: !Word,
     testSuiteStatSumTime :: !Word64,
@@ -208,6 +214,7 @@
   (<>) tss1 tss2 =
     TestSuiteStats
       { testSuiteStatSuccesses = testSuiteStatSuccesses tss1 + testSuiteStatSuccesses tss2,
+        testSuiteStatExamples = testSuiteStatExamples tss1 + testSuiteStatExamples tss2,
         testSuiteStatFailures = testSuiteStatFailures tss1 + testSuiteStatFailures tss2,
         testSuiteStatPending = testSuiteStatPending tss1 + testSuiteStatPending tss2,
         testSuiteStatSumTime = testSuiteStatSumTime tss1 + testSuiteStatSumTime tss2,
@@ -223,6 +230,7 @@
   mempty =
     TestSuiteStats
       { testSuiteStatSuccesses = 0,
+        testSuiteStatExamples = 0,
         testSuiteStatFailures = 0,
         testSuiteStatPending = 0,
         testSuiteStatSumTime = 0,
diff --git a/sydtest.cabal b/sydtest.cabal
--- a/sydtest.cabal
+++ b/sydtest.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           sydtest
-version:        0.3.0.2
+version:        0.3.0.3
 synopsis:       A modern testing framework for Haskell with good defaults and advanced testing features.
 description:    A modern testing framework for Haskell with good defaults and advanced testing features. Sydtest aims to make the common easy and the hard possible. See https://github.com/NorfairKing/sydtest#readme for more information.
 category:       Testing