alfert/propcheck

Issues

• (UndefinedFunctionError) function :eunit_lib.fun_parent/1 is undefined or private

  #217 opened 10 months ago by coop
  8

• Why do properties have to return boolean results?

  #187 opened 4 years ago by TylerPachal
  1

• ** (FunctionClauseError) no function clause matching in :proper_arith.rand_choose/1

  #221 opened a year ago by coop
  3

• Implement "disjunction"

  #216 opened 2 years ago by turion
  1

• Strange behavior when adding code after forall

  #215 opened 2 years ago by pallix
  2

• Propcheck breaking Oban tests

  #213 opened 2 years ago by zkessin
  1

• No function clause when trying to generate `pos_integer()`

  #211 opened 3 years ago by adkron
  12

• Automatic release process fails

  #203 opened 3 years ago by alfert
  1

• Counter-Example is empty when test failed

  #208 opened 3 years ago by ray-sh
  3

• mix propcheck.clean fails on a new project

  #205 opened 3 years ago by evnu
  0

• StateM DSL more_commands

  #107 opened 3 years ago by adkron
  6

• Mechanism for constraining length of generated lists

  #188 opened 3 years ago by TylerPachal
  4

• Possibility to give forall a cleanup hook?

  #169 opened 4 years ago by turion
  3

• Child app in umbrella looks for counter examples file in the wrong directory

  #190 opened 3 years ago by sashaafm
  13

• PropCheck.Test.TargetTreeTest can time out

  #196 opened 3 years ago by evnu
  2

• Mix.Local.path_for/1 is deprecated

  #194 opened 3 years ago by evnu
  1

• Mark dependencies or skip

  #193 opened 3 years ago by evnu
  1

• Missing OpenSSL in Github Actions?

  #191 opened 3 years ago by evnu
  1

• Move counter-examples file to be configured via application configuration (config.exs)

  #115 opened 3 years ago by sashaafm
  1

• Add support for OTP/23 (requires :proper update)

  #180 opened 4 years ago by flowerett
  1

• FunctionClauseError calling PropCheck.StateM.Reporter.pretty_cmd_name/2 with a list

  #171 opened 4 years ago by aherranz
  2

• Add propcheck examples to shrinking challenge

  #173 opened 4 years ago by jlink
  0

• Make GitHub CI smart

  #163 opened 4 years ago by alfert
  0

• Comms channel

  #155 opened 5 years ago by x4lldux
  1

• Propcheck options like `numtests` not considered until performing `mix propcheck.clean`

  #152 opened 5 years ago by turion
  1

• Concurency testing improvments

  #148 opened 5 years ago by x4lldux
  7

• StateM.DSL vs PropEr differences

  #142 opened 5 years ago by x4lldux
  7

• StateM DSL commands with state

  #131 opened 5 years ago by x4lldux
  4

• Filtering list by minimum length fails when used in a property

  #139 opened 5 years ago by kerryb
  8

• Handle configuration in a consistent manner

  #138 opened 5 years ago by alfert
  10

• Allow `property/1` to mark stub tests

  #135 opened 5 years ago by evnu
  1

• Using `PropCheck.TargetedPBT.exists/2` causes a crash

  #133 opened 5 years ago by x4lldux
  1

• Tests killed/crashed with segfault on CI

  #101 opened 5 years ago by evnu
  3

• Warning on use of operator ===

  #127 opened 5 years ago by evnu
  1

• Ergonomics of :verbose

  #110 opened 5 years ago by evnu
  11

• Deprecation warnings from PropEr

  #121 opened 5 years ago by evnu
  21

• Allow setting verbose on the command line

  #117 opened 5 years ago by evnu
  0

• Multiple forall in a property result in unexpected behaviour

  #112 opened 5 years ago by evnu
  4

• Disable persisting counter examples for specific tests

  #105 opened 5 years ago by evnu
  4

• Fix CI

  #96 opened 6 years ago by evnu
  6

• remove _build/propcheck.ctex by default

  #81 opened 5 years ago by verrchu
  4

• Let-like forall

  #92 opened 6 years ago by evnu
  0

• Consider using Linter

  #98 opened 6 years ago by evnu
  2

• Statistics for targeted properties

  #90 opened 6 years ago by alfert
  3

• Importing `TargetedPBT.setup/2` can conflict with `ExUnit.Callbacks.setup/2`

  #83 opened 6 years ago by evnu
  5

• Level test is still flaky

  #87 opened 6 years ago by alfert
  6

• Bug in level test?

  #82 opened 6 years ago by evnu
  13

• FunctionClauseError when running parallel tests

  #79 opened 6 years ago by oltarasenko
  2

• after use macro let, shrinking don't work

  #71 opened 6 years ago by apadryta
  2

• ** (Mix) The task "propcheck.clean" could not be found

  #73 opened 6 years ago by building39
  4