### Run tests using sbt

Source: https://www.scalacheck.org

Execute the test task in sbt to run defined properties and view results.

```bash
$ sbt test
+ String.startsWith: OK, passed 100 tests.
! String.concat: Falsified after 0 passed tests.
> ARG_0: ""
> ARG_1: ""
+ String.substring: OK, passed 100 tests.
```

--------------------------------

### Compile and run standalone

Source: https://www.scalacheck.org

Use the Scala compiler and runner to execute specifications without an external build tool.

```bash
$ scalac -cp scalacheck_2.11-1.19.0.jar StringSpecification.scala

$ scala -cp .:scalacheck_2.11-1.19.0.jar StringSpecification
```

--------------------------------

### Define properties for String methods

Source: https://www.scalacheck.org

Create a specification by extending Properties and defining properties using forAll to verify string operations.

```scala
import org.scalacheck.Properties
import org.scalacheck.Prop.forAll

object StringSpecification extends Properties("String") {

  property("startsWith") = forAll { (a: String, b: String) =>
    (a+b).startsWith(a)
  }

  property("concatenate") = forAll { (a: String, b: String) =>
    (a+b).length > a.length && (a+b).length > b.length
  }

  property("substring") = forAll { (a: String, b: String, c: String) =>
    (a+b+c).substring(a.length, a.length+b.length) == b
  }

}
```

--------------------------------

### Add ScalaCheck dependency to sbt

Source: https://www.scalacheck.org

Include the library in your build file to enable property-based testing within the sbt environment.

```scala
libraryDependencies += "org.scalacheck" %% "scalacheck" % "1.19.0" % "test"
```

=== COMPLETE CONTENT === This response contains all available snippets from this library. No additional content exists. Do not make further requests.