Running grouped properties from the command line

27 views
Skip to first unread message

benoitds

unread,
Nov 7, 2011, 1:11:06 PM11/7/11
to scalacheck
Dear Sir/Madam,

I'm a master student at Ghent University, Belgium. For my thesis about
composable combinators/search heuristics for constraint programming,
I'd like to use ScalaCheck to check properties of the combinators.

Recently I've written the generators and some basic properties.
I managed to compile them, but when I try to run them, Scala cannot
figure out how to run the target.

Therefore I've tried to run an example from the ScalaCheck user manual
(http://code.google.com/p/scalacheck/wiki/UserGuide) from the
"Grouping Properties" section. Same error arised, also when a friend
of mine tried on his computer. My terminal output is below. I use
Windows 7, 32 bit, ScalaCheck version is 2.9.0-1.9 and my Scala
version is 2.9.0.1
Could you provide me with an idea of what's going wrong?
Thanks in advance!

Best regards,
Benoit Desouter
Student second master Software Engineering - Ghent University, Belgium

== Terminal output ==
Microsoft Windows [Version 6.1.7600]
Copyright (c) 2009 Microsoft Corporation. All rights reserved.

>>>scala -cp scalacheck_2.9.0-1.9.jar:. StringSpecification
Exception in thread "main" java.lang.RuntimeException: Cannot figure
out how to run target: StringSpecification
at scala.sys.package$.error(package.scala:27)
at scala.tools.nsc.GenericRunnerCommand.scala$tools$nsc
$GenericRunnerCommand$$guessHowToRun(GenericRunnerCommand.scala:38)
at scala.tools.nsc.GenericRunnerCommand$$anonfun
$2.apply(GenericRunnerCommand.scala:48)
at scala.tools.nsc.GenericRunnerCommand$$anonfun
$2.apply(GenericRunnerCommand.scala:48)
at scala.Option.getOrElse(Option.scala:109)
at
scala.tools.nsc.GenericRunnerCommand.<init>(GenericRunnerCommand.scala:
48)
at
scala.tools.nsc.GenericRunnerCommand.<init>(GenericRunnerCommand.scala:
17)
at
scala.tools.nsc.MainGenericRunner.process(MainGenericRunner.scala:33)
at scala.tools.nsc.MainGenericRunner
$.main(MainGenericRunner.scala:89)
at
scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)

Rickard Nilsson

unread,
Nov 7, 2011, 3:23:24 PM11/7/11
to scala...@googlegroups.com
Hi Benoit,

I think that, on Windows, the classpath delimiter is ';' instead of
':'.
So just try running this instead:

scala -cp scalacheck_2.9.0-1.9.jar;. StringSpecification


Best regards,
Rickard Nilsson

benoitds

unread,
Nov 8, 2011, 5:59:08 AM11/8/11
to scalacheck
Hi Rickard,

Thank you for your kind help! You were entirely right about the
classpath separator on Windows. The StringSpecification example now
works like a charm.
Best regards,
Benoit Desouter

On Nov 7, 9:23 pm, Rickard Nilsson <rickyn...@gmail.com> wrote:
>  Hi Benoit,
Reply all
Reply to author
Forward
0 new messages