[ANN] Nyaya v0.6.0 released. (Prop testing / random data gen)

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[ANN] Nyaya v0.6.0 released. (Prop testing / random data gen)

David Barri
Hi,

Nyaya v0.6.0 has just been released.

The highlight of this release is performance.
I've ditched the rng lib I was using to generate random data myself, and that generation is now 1200% ~ 35000% faster, and uses 1900% ~ 33000% less memory.

Changelog is here:


What is Nyaya?

Nyaya is a Scala/Scala.JS library to:
  • Prove properties with (reasonably-sized) finite domains.
  • Test properties using random data.
  • Assert properties in real data.
  • Generate random data.
  • Ensure uniqueness in random data.

Cheers,
David

--
You received this message because you are subscribed to the Google Groups "scala-announce" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.