Issues

• CounterStrike.counter_example is called at compile time, and can cause ElixirLS to crash

  alfert/propcheck#234 · Filter by author Adam-McDevitt-Prima opened on May 9, 2025
  1

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

  alfert/propcheck#221 · Filter by author coop opened on May 17, 2023
  5

• Implement "disjunction"

  alfert/propcheck#216 · Filter by author turion opened on Sep 22, 2022
  1

• Strange behavior when adding code after forall

  alfert/propcheck#215 · Filter by author pallix opened on Aug 29, 2022
  2

• Propcheck breaking Oban tests

  alfert/propcheck#213 · Filter by author zkessin opened on May 12, 2022
  1

• No function clause when trying to generate pos_integer()

  alfert/propcheck#211 · Filter by author adkron opened on Nov 12, 2021
  12

• Why do properties have to return boolean results?

  alfert/propcheck#187 · Filter by author TylerPachal opened on Dec 7, 2020
  1

• Add propcheck examples to shrinking challenge

  alfert/propcheck#173 · Filter by author jlink opened on Aug 18, 2020
  1

• Possibility to give forall a cleanup hook?

  alfert/propcheck#169 · Filter by author turion opened on Jun 22, 2020
  3

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

  alfert/propcheck#152 · Filter by author turion opened on Feb 14, 2020
  1

• Concurency testing improvments

  alfert/propcheck#148 · Filter by author x4lldux opened on Jan 21, 2020
  8

• Handle configuration in a consistent manner

  refactoring
  alfert/propcheck#138 · Filter by author alfert opened on Dec 2, 2019
  10

• Multiple forall in a property result in unexpected behaviour

  alfert/propcheck#112 · Filter by author evnu opened on Apr 29, 2019
  4

• Statistics for targeted properties

  enhancement
  alfert/propcheck#90 · Filter by author alfert opened on Feb 9, 2019
  3