junit-quickcheck

junit-quickcheck copied to clipboard

As of now, junit-quickcheck-core adds `junit:4.12` transitive dependency, which is sad since it exposes classes like org.junit.Assert to the junit-quickcheck consumer code. What do you think if there were an...

vlsi

Allow specifying a default `trials` value

1

It would be nice to be able to specify a default `trials` value for an entire test run. The idea would be to do a more rigorous run once per...

DavidDTA

Bumps [slf4j-api](https://github.com/qos-ch/slf4j) from 1.7.35 to 1.7.36. Commits e9ee55c update timestamp before release 3b6a92f reproducible builds 8825027 prepare release 1.7.36, fix SLF4J-541 5617387 add relase.sh See full diff in compare view...

dependabot[bot]

Bumps [maven-gpg-plugin](https://github.com/apache/maven-gpg-plugin) from 1.6 to 3.0.1. Commits 5255080 [maven-release-plugin] prepare release maven-gpg-plugin-3.0.1 e4dc062 [MGPG-79] fix handling of external pinentry programs in case the passphrase i... 5902b2b deps: update JUnit 12fbd63...

dependabot[bot]

Split API and engine

1

This is mostly moving files around, however, I extracted interface for `SourceOfRandomness` because its implementation depends on lots of `internal` classes. fixes #254

vlsi

Add nullability annotations to main API and extension points

1

This PR adds nullability annotations (JSR 305) to the main API and extension points. For conciseness and safety, the annotations are not comprehensive. There is a lot of room to...

berrueta

Junit-quickcheck fails for android runtime

9

Hi *, trying to use quickcheck in android app as the following: ``` @RunWith(JUnitQuickcheck.class) public class ExampleInstrumentedTest { @Property public void testSerialization(long a ) { CpuUsageInfo original = new CpuUsageInfo(a,a);...

vaioco

Does Pitest work with the junit-quickcheck property test tool?

2

I am trying to use the junit-quickcheck property testing tool together with Pirtest 1.6.4. However, I am encountering a problem. Pitest doesn't seem to be able to find the tests...

ricardosm

Plans to support JUnit 5

6

Hi. Is there any plans to support JUnit 5? I could not find any information related to JUnit 5 support in the documentation.

charlesxucheng

Running Quickcheck without it being part of a test.

10

I have a scenario where I have a class file (maybe without the source file) and a method and class name of a method/class that is implemented in this class...

jparsert