Paolo Vigliatore issues

Repositories
Issues
Comments

Results 1 issues of


                                            Paolo Vigliatore

Assumptions that check for non-empty lists fail because empty lists are generated too often

The following simplified examples are written in Kotlin and were tested with version `0.25` and `0.26` of QuickTheories The test case below fails reliably. Even though the theory is asking...