experiment: ci-run

workload: split

strategy: quickcheck

property: DropFinalBlankEmptyList

mode: solve

status: failed

tool: quickcheck

counterexample:
DropFinalBlankArgs {dfbDelims = "xx", dfbInput = ""}Prelude.last: empty list
CallStack (from HasCallStack):
  error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List
  errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List
  lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List
  last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals


counterexample:
DropFinalBlankArgs {dfbDelims = "x", dfbInput = ""}Prelude.last: empty list
CallStack (from HasCallStack):
  error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List
  errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List
  lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List
  last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals


counterexample:
DropFinalBlankArgs {dfbDelims = "y", dfbInput = ""}Prelude.last: empty list
CallStack (from HasCallStack):
  error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List
  errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List
  lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List
  last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals


counterexample:
DropFinalBlankArgs {dfbDelims = "xy", dfbInput = ""}Prelude.last: empty list
CallStack (from HasCallStack):
  error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List
  errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List
  lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List
  last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals


counterexample:
DropFinalBlankArgs {dfbDelims = "yx", dfbInput = ""}Prelude.last: empty list
CallStack (from HasCallStack):
  error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List
  errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List
  lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List
  last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals


strategy: hedgehog

tool: hedgehog


strategy: falsify

tool: falsify

counterexample:
DropFinalBlankArgs {dfbDelims = "x", dfbInput = ""}: Prelude.last: empty list
CallStack (from HasCallStack):
  error, called at libraries/base/GHC/List.hs:1644:3 in base:GHC.List
  errorEmptyList, called at libraries/base/GHC/List.hs:158:13 in base:GHC.List
  lastError, called at libraries/base/GHC/List.hs:153:29 in base:GHC.List
  last, called at src/Data/List/Split/Internals.hs:248:36 in split-0.2.5-inplace:Data.List.Split.Internals


strategy: smallcheck

tool: smallcheck

counterexample: CounterExample ["DropFinalBlankArgs {dfbDelims = \"x\", dfbInput = \"\"}"] (PropertyFalse Nothing)


property: UnintercalateIsInverseOfIntercalate

status: passed