Gruppi
Accedi
Gruppi
scalacheck
Conversazioni
Informazioni
Invia feedback
Guida
scalacheck
Contatta proprietari e gestori
1-30 di 160
Segna tutti come già letti
Segnala gruppo
0 selezionati
Christian Urban
, …
Abdhesh kumar
4
24/09/18
Exhaustive testing and generating test cases according to an order
The solution to this problem is to use Gen.lzy. def genLeaf[A: Arbitrary]: Gen[Leaf[A]] = arbitrary[A
da leggere,
Exhaustive testing and generating test cases according to an order
The solution to this problem is to use Gen.lzy. def genLeaf[A: Arbitrary]: Gen[Leaf[A]] = arbitrary[A
24/09/18
John Stanford
, …
leono...@lunatech.com
8
05/03/18
Generator for Regex?
This would be very interesting! Will a generator based on regex ever be available? On Wednesday,
da leggere,
Generator for Regex?
This would be very interesting! Will a generator based on regex ever be available? On Wednesday,
05/03/18
Leonor Boga
18/02/18
Issue with generated data with unique key constraint
Hello, I'm trying out ScalaCheck for the first time. I testing code that filters data from a DB,
da leggere,
Issue with generated data with unique key constraint
Hello, I'm trying out ScalaCheck for the first time. I testing code that filters data from a DB,
18/02/18
Janek Bogucki
07/07/17
Help making scala build fail when scalacheck properties are false
Hi, Can anyone help figure out why the scala build which uses scalacheck does not fail despite having
da leggere,
Help making scala build fail when scalacheck properties are false
Hi, Can anyone help figure out why the scala build which uses scalacheck does not fail despite having
07/07/17
Eyal Farago
2
15/06/17
Gen for a map of a case class containing Options fail with 'gave up after 16 successful property evaluations...'
It's been a year an da half, I've changed jobs in between, and hit the same issue again. Just
da leggere,
Gen for a map of a case class containing Options fail with 'gave up after 16 successful property evaluations...'
It's been a year an da half, I've changed jobs in between, and hit the same issue again. Just
15/06/17
David
13/02/17
Can't make SBT resolve ScalaCheck using Git
Hello! So I wanted to mess around a bit with ScalaCheck's internals but I can't make sbt find
da leggere,
Can't make SBT resolve ScalaCheck using Git
Hello! So I wanted to mess around a bit with ScalaCheck's internals but I can't make sbt find
13/02/17
Kevin Meredith
,
Dave Stevens
2
10/11/16
Choose[BigDecimal] Instance?
Try this, or some derivation of it. Gen.choose(0d, 100d).map(BigDecimal.valueOf) or Gen.choose(0, 100
da leggere,
Choose[BigDecimal] Instance?
Try this, or some derivation of it. Gen.choose(0d, 100d).map(BigDecimal.valueOf) or Gen.choose(0, 100
10/11/16
sili...@gmail.com
2
04/10/16
[scalatest 2.2.2] BeforeAndAfterAll executing multiple times in a spec suite
Ugh, derp. Meant to post in scalatest, not scalacheck. Please ignore. On Tuesday, September 27, 2016
da leggere,
[scalatest 2.2.2] BeforeAndAfterAll executing multiple times in a spec suite
Ugh, derp. Meant to post in scalatest, not scalacheck. Please ignore. On Tuesday, September 27, 2016
04/10/16
Aravind Reddy
07/09/16
How to use ScalaCheck's collect and classify in ScalaTest?
The following use of Prop.collect((a, b)) isn't printing the statistics as expected even though
da leggere,
How to use ScalaCheck's collect and classify in ScalaTest?
The following use of Prop.collect((a, b)) isn't printing the statistics as expected even though
07/09/16
Aish Fenton
25/06/16
Containers of containers with fixed dimensions
Hi, Maybe a simple question, but can't find a way to do achieve this. I want to produce a 2
da leggere,
Containers of containers with fixed dimensions
Hi, Maybe a simple question, but can't find a way to do achieve this. I want to produce a 2
25/06/16
Pablo Fernandez
02/06/16
Test valid state transitions with scalacheck
Suppose I have this class: case class Receipt(id: Long, state: String) { def transitionTo(newState:
da leggere,
Test valid state transitions with scalacheck
Suppose I have this class: case class Receipt(id: Long, state: String) { def transitionTo(newState:
02/06/16
Samuel Rivas
27/04/16
Accessing counterexamples
Hi, Is it possible to get the counterexamples scalacheck reports as references in the REPL?
da leggere,
Accessing counterexamples
Hi, Is it possible to get the counterexamples scalacheck reports as references in the REPL?
27/04/16
kkli...@gmail.com
, …
Howard Wang
11
31/03/16
Changing the default minimum successful tests for 1 specification
I'm tried to override the mainRunner of Properties trait, but the parameters are not changed as
da leggere,
Changing the default minimum successful tests for 1 specification
I'm tried to override the mainRunner of Properties trait, but the parameters are not changed as
31/03/16
Mathias
03/03/16
Sequencing an Iterator[Gen[T]]
Dear all, due to my still limited FP foo I'm not sure whether I am seeing things right and would
da leggere,
Sequencing an Iterator[Gen[T]]
Dear all, due to my still limited FP foo I'm not sure whether I am seeing things right and would
03/03/16
dabd
,
Martin Mauch
2
29/02/16
Testing timed automata
Do you mean how to explicitly deal with time in Scalacheck? I guess there isn't something in-
da leggere,
Testing timed automata
Do you mean how to explicitly deal with time in Scalacheck? I guess there isn't something in-
29/02/16
Marc-André Laverdière
,
etorreborre
3
15/02/16
Gen of and harcoded collection one by one
I think that there should be a way to do this better but here is how to make it work with a bit of
da leggere,
Gen of and harcoded collection one by one
I think that there should be a way to do this better but here is how to make it work with a bit of
15/02/16
Marc-André Laverdière
13/02/16
Generator serving harcoded collection one item at a time
Hello everybody, I love ScalaCheck, and I would love it even more if I could just get this one
da leggere,
Generator serving harcoded collection one item at a time
Hello everybody, I love ScalaCheck, and I would love it even more if I could just get this one
13/02/16
Marc Saegesser
,
Rickard Nilsson
2
25/01/16
Race condition testing
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Marc, We have this functionality in ScalaCheck too.
da leggere,
Race condition testing
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Marc, We have this functionality in ScalaCheck too.
25/01/16
Kevin Meredith
06/01/16
arbitrary[java.net.URL]?
I'd like to add property-based tests (using Scalacheck) with java.net.URL instances. However, I
da leggere,
arbitrary[java.net.URL]?
I'd like to add property-based tests (using Scalacheck) with java.net.URL instances. However, I
06/01/16
Ajay Kamble
01/12/15
A github project (web application) to learn usage of ScalaCheck
Hi All, I recently stumbled upon ScalaCheck and think that is a possible solution to the problems we
da leggere,
A github project (web application) to learn usage of ScalaCheck
Hi All, I recently stumbled upon ScalaCheck and think that is a possible solution to the problems we
01/12/15
Luis Rodero-Merino
,
Rickard Nilsson
5
15/09/15
ScalaDoc for postCondition method is correct?
You are totally right. Sorry I overlooked that, and thanks a lot for your help. On 15 September 2015
da leggere,
ScalaDoc for postCondition method is correct?
You are totally right. Sorry I overlooked that, and thanks a lot for your help. On 15 September 2015
15/09/15
Tara Athan
25/08/15
Custom generator for IRIs conforming to RFC3987?
I am starting to use scalacheck for testing, and I find I need some custom generators. So far I have
da leggere,
Custom generator for IRIs conforming to RFC3987?
I am starting to use scalacheck for testing, and I find I need some custom generators. So far I have
25/08/15
Juan Rodríguez Hortalá
,
Bill Venners
4
28/07/15
Prop.exists and ScalaTest matchers
HI Bill, Thanks a lot for your answer. I will try to avoid matchers in ScalaChek properties then.
da leggere,
Prop.exists and ScalaTest matchers
HI Bill, Thanks a lot for your answer. I will try to avoid matchers in ScalaChek properties then.
28/07/15
Takashi Kawachi
24/07/15
Test unexpectedly succeed with Play
Hi, I encountered a strange situation with conbination of ScalaCheck and Play. I'm not sure
da leggere,
Test unexpectedly succeed with Play
Hi, I encountered a strange situation with conbination of ScalaCheck and Play. I'm not sure
24/07/15
Kevin Meredith
,
Bill Venners
5
22/06/15
Testing a `scalacheck` Property in `scalatest`
Thanks for the pointer to the PosZInt code in the new release. I posted the following "issue
da leggere,
Testing a `scalacheck` Property in `scalatest`
Thanks for the pointer to the PosZInt code in the new release. I posted the following "issue
22/06/15
Kenji Yoshida
,
Rickard Nilsson
2
17/06/15
invalid sha1 scalacheck 1.11.6
On 06/17/2015 06:35 AM, Kenji Yoshida wrote: > http://repo1.maven.org/maven2/org/scalacheck/
da leggere,
invalid sha1 scalacheck 1.11.6
On 06/17/2015 06:35 AM, Kenji Yoshida wrote: > http://repo1.maven.org/maven2/org/scalacheck/
17/06/15
Juan Rodríguez Hortalá
15/06/15
Prop.exists fails with ScalaTest matchers
Hi, I have a problem about using ScalaTest matchers inside a Prop.exists property. When the property
da leggere,
Prop.exists fails with ScalaTest matchers
Hi, I have a problem about using ScalaTest matchers inside a Prop.exists property. When the property
15/06/15
Asko Laitela
,
Robert Ray
2
03/06/15
ScalaCheck 1.12 Commands API: accessing command result in the nextState() function
On Sunday, February 1, 2015 at 10:27:43 AM UTC-8, Asko Laitela wrote: I'm trying out ScalaCheck
da leggere,
ScalaCheck 1.12 Commands API: accessing command result in the nextState() function
On Sunday, February 1, 2015 at 10:27:43 AM UTC-8, Asko Laitela wrote: I'm trying out ScalaCheck
03/06/15
Kevin Meredith
,
Rickard Nilsson
2
20/04/15
Adding Multiple Implicit `Arbitrary[Foo]` without Collisions?
Hi Kevin, On 04/20/2015 09:01 PM, Kevin Meredith wrote: > I wrote a ScalaCheck property: > >
da leggere,
Adding Multiple Implicit `Arbitrary[Foo]` without Collisions?
Hi Kevin, On 04/20/2015 09:01 PM, Kevin Meredith wrote: > I wrote a ScalaCheck property: > >
20/04/15
Michael Peyton Jones
,
Matthew Pocock
4
16/02/15
Combinator for alternative in case of failure
... of course I immediately realise that you don't actually need the internal functions at all.
da leggere,
Combinator for alternative in case of failure
... of course I immediately realise that you don't actually need the internal functions at all.
16/02/15