ricky@ricky-PB ~/deleteme
$ wget -q http://scalacheck.googlecode.com/files/ScalaCheck-1.1.1.jar
ricky@ricky-PB ~/deleteme
$ scala -classpath '.;ScalaCheck-1.1.1.jar'
Welcome to Scala version 2.6.0-final.
Type in expressions to have them evaluated.
Type :help for more information.
scala> import org.scalacheck._
import org.scalacheck._
scala> import Arbitrary._
import Arbitrary._
scala> import Prop._
import Prop._
scala> val prop_AddingInts=property { (one: Int,two: Int) => one+two-two==one }
java.lang.NoClassDefFoundError: scala/runtime/BoxesRunTime
at org.scalacheck.Arbitrary$$anon$5.getArbitrary(Arbitrary.scala:101)
at org.scalacheck.Arbitrary$.arbitrary(Arbitrary.scala:36)
at org.scalacheck.Prop$.property(Prop.scala:304)
at org.scalacheck.Prop$.property(Prop.scala:311)
at org.scalacheck.Properties$class.specify(Properties.scala:30)
at org.scalacheck.Prop$.s...