search

Whiley / WhileyCompiler

The Whiley Compiler (WyC)
http://whiley.org
Apache License 2.0
219 stars 36 forks source link

QuickCheck not functioning #1108

Closed DavePearce closed 2 years ago

DavePearce commented 3 years ago

Running QuickCheck gives the following error:

Internal failure: invalid key access: check/min
java.lang.IllegalArgumentException: invalid key access: check/min
        at wycli.cfg.ConfigurationCombinator.get(ConfigurationCombinator.java:70)
        at wyqc.Activator$1.initialise(Activator.java:57)
        at wycli.commands.BuildCmd.getBuildPlan(BuildCmd.java:184)
        at wycli.commands.BuildCmd.execute(BuildCmd.java:142)
        at wycli.commands.Root.execute(Root.java:94)
        at wycli.Main.exec(Main.java:249)
        at wycli.Main.main(Main.java:224)

Which I cannot seem to resolve by modifying wy.toml