Employ ScalaCheck. Change naming rule of test files. Close #31
Merge branch 'master' into 31_scalacheck
Add a new line to tail.
Merge branch 'master' into 31_scalacheck
Merge branch 'master' into 31_scalacheck
Add more property tests.
Merge pull request #51 from AI-comp/31_scalacheck

Employ ScalaCheck. Change naming rule of test files. Close #31