jar

org.scalacheck : scalacheck

Maven & Gradle

Nov 24, 2008
12 usages

ScalaCheck · ScalaCheck is a tool for testing Scala programs, based on property specifications and automatic test data generation. The basic idea is that you define a property that specifies the behaviour of a method or some unit of code, and ScalaCheck checks that the property holds. All test data are generated automatically in a random fashion, so you don't have to worry about any missed cases.

Table Of Contents

Latest Version

Download org.scalacheck : scalacheck JAR file - Latest Versions:

All Versions

Download org.scalacheck : scalacheck JAR file - All Versions:

Version Vulnerabilities Size Updated
1.5
1.4
1.3
1.2
1.1
1.1.x
1.0

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window scalacheck-1.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.scalacheck.util

├─ org.scalacheck.util.Buildable.class - [JAR]

├─ org.scalacheck.util.Builder.class - [JAR]

├─ org.scalacheck.util.CmdLineParser.class - [JAR]

├─ org.scalacheck.util.FreqMap.class - [JAR]

├─ org.scalacheck.util.StdRand.class - [JAR]

org.scalacheck

├─ org.scalacheck.Arbitrary.class - [JAR]

├─ org.scalacheck.Arg.class - [JAR]

├─ org.scalacheck.Commands.class - [JAR]

├─ org.scalacheck.ConsoleReporter.class - [JAR]

├─ org.scalacheck.Gen.class - [JAR]

├─ org.scalacheck.Pretty.class - [JAR]

├─ org.scalacheck.Prop.class - [JAR]

├─ org.scalacheck.Properties.class - [JAR]

├─ org.scalacheck.Shrink.class - [JAR]

├─ org.scalacheck.Test.class - [JAR]

Advertisement

Dependencies from Group

Sep 15, 2022
2.4k usages
1.9k stars
Dec 17, 2020
2.4k usages
1.9k stars
Sep 15, 2022
1.5k usages
1.9k stars
Dec 13, 2019
1.1k usages
1.9k stars
Sep 15, 2022
250 usages
1.9k stars

Discover Dependencies

Apr 21, 2021
55 usages
1.9k stars
Jul 19, 2023
62 usages
105 stars
May 11, 2023
303 usages
1.8k stars
Jun 18, 2023
375 usages
Jun 18, 2023
48 usages
Jan 30, 2017
19 usages
472 stars
Aug 21, 2023
118 usages
461 stars
Apr 05, 2017
15 usages
431 stars
Mar 03, 2021
3 usages
6k stars
Aug 07, 2023
110 usages
5.7k stars