{"id":76224,"library":"scalacheck-2-13-0-rc3","title":"ScalaCheck","description":"Property-based testing library for Scala, automatically generating test cases to verify program properties.","status":"active","version":"1.14.0","language":"java","source_language":null,"source_url":"https://github.com/rickynils/scalacheck","tags":["scalacheck","testing","property-based","scala"],"install":[{"cmd":"<dependency>\n  <groupId>org.scalacheck</groupId>\n  <artifactId>scalacheck_2.13.0-RC3</artifactId>\n  <version>1.14.0</version>\n</dependency>","lang":"xml","label":"Maven"},{"cmd":"implementation 'org.scalacheck:scalacheck_2.13.0-RC3:1.14.0'","lang":"groovy","label":"Gradle"}],"dependencies":[],"imports":[{"symbol":"Prop","correct":"org.scalacheck.Prop"}],"quickstart":{"code":"import org.scalacheck.Prop;\nimport org.scalacheck.Prop.forAll;\n\npublic class Main {\n    public static void main(String[] args) {\n        Prop prop = forAll((String s) -> s.length() >= 0);\n        prop.check();\n    }\n}","lang":"java","description":"Defines and checks a property that string length is non-negative."},"warnings":[{"fix":"Use scalacheck_2.13 for final Scala 2.13 compatibility.","message":"This version targets Scala 2.13.0-RC3; may not be compatible with final Scala 2.13 releases.","severity":"breaking","affected_versions":"1.14.0"}],"env_vars":null,"search_vec":"'automat':9 'base':4,21 'case':12 'generat':10 'librari':6 'program':15 'properti':3,16,20 'property-bas':2,19 'scala':8,22 'scalacheck':1,17 'test':5,11,18 'verifi':14","created_at":"2026-06-17T19:26:00.117829+00:00","updated_at":"2026-06-17T19:26:00.117829+00:00","problems":[],"ecosystem":"maven","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":"http://www.scalacheck.org","github":"https://github.com/rickynils/scalacheck","docs":"https://appdoc.app/artifact/org.scalacheck/scalacheck_2.13.0-RC3/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["testing"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-17","next_check":"2026-12-14","install_tag":null}}