Initial files

src/main/scala/hms/dummy/project/Main.scala

@@ -0,0 +1,7 @@
+package hms.dummy.project
+
+
+
+object Main extends App {
+  println("Hello Scala")
+}

src/test/scala/hms/dummy/project/DummySpecification.scala

@@ -0,0 +1,17 @@
+package hms.dummy.project
+
+import org.scalacheck._
+import Gen._
+import Prop._
+import Test._
+import Arbitrary._
+import collection.mutable.ListBuffer
+
+object DummySpecification extends Properties("Dummy") {
+
+  property("dummy") = forAll {
+    (l1: List[Int], l2: List[Int]) =>
+      l1.size + l2.size == (l1 ::: l2).size
+  }
+}
+

src/test/scala/hms/dummy/project/TestAll.scala

@@ -0,0 +1,12 @@
+package hms.dummy.project
+
+import org.scalacheck.Properties
+
+
+object TestAll {
+  object ScalaCheckSpecification extends Properties("DummyPorject") {
+    include(DummySpecification)
+  }
+
+  def main(args: Array[String]) = ScalaCheckSpecification.main(args)
+}