GitHub · Where software is built

Labels Milestones New issue

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

#234

· Adam-McDevitt-Prima opened

on May 9, 2025

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

#221

· coop opened

on May 17, 2023

Implement "disjunction"

#216

· turion opened

on Sep 22, 2022

Strange behavior when adding code after forall

#215

· pallix opened

on Aug 29, 2022

Propcheck breaking Oban tests

#213

· zkessin opened

on May 12, 2022

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

#211

· adkron opened

on Nov 12, 2021

Why do properties have to return boolean results?

#187

· TylerPachal opened

on Dec 7, 2020

Add propcheck examples to shrinking challenge

#173

· jlink opened

on Aug 18, 2020

Possibility to give forall a cleanup hook?

#169

· turion opened

on Jun 22, 2020

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

#152

· turion opened

on Feb 14, 2020

Concurency testing improvments

#148

· x4lldux opened

on Jan 21, 2020

Handle configuration in a consistent manner

#138

· alfert opened

on Dec 2, 2019