Comments (6)
jlink
commented on July 20, 2024
2
Just checked your sample property with the latest versions of jqwik (0.8.15 and 0.9.0-SNAPSHOT). Both seem to shrink the value correctly to 3.0 without throwing a JqwikException.
Which version of jqwik are you using? I loosely remember to have fixed a float related shrinking bug in an earlier version...
from jqwik.
jlink
commented on July 20, 2024
1
Thanks. I’ll have a look at it probably later this week.
… Am 08.10.2018 um 15:38 schrieb gayatrihimthani ***@***.***>:
Actual test case is quite big, below is a smaller simulation of it:
@Property(tries = 10)
public void ***@***.***("getNum") double num) {
assertTrue(num > 5.0);
}
@provide
public Arbitrary<Double> getNum() {
return Arbitraries.doubles().between(2.4, 4.9);
}
—
You are receiving this because you commented.
Reply to this email directly, view it on GitHub, or mute the thread.
from jqwik.
jlink
commented on July 20, 2024
Thanks for the catch! Can you attach code with which I can reproduce the bug? This would help me tremendously since I can then debug myself.
… Am 08.10.2018 um 08:59 schrieb gayatrihimthani ***@***.***>:
Hello,
I am using jqwik and have written a test that generates a BigDecimal Arbitrary; upon failure, when the data shrinks, there's an exception thrown "Number x outside the allowed range ". I understood that its happening because precision becomes 1 for the value while it runs shrinking logic. I have attached some screenshots for reference.
Can you help to fix this?
Thank you!
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.
from jqwik.
gayatrihimthani
commented on July 20, 2024
Actual test case is quite big, below is a smaller simulation of it:
@Property(tries = 10)
public void testBigDecimal(@ForAll("getNum") double num) {
assertTrue(num > 5.0);
}
@Provide
public Arbitrary<Double> getNum() {
return Arbitraries.doubles().between(2.4, 4.9);
}
from jqwik.
gayatrihimthani
commented on July 20, 2024
Thank you so much for your answer :) and sincere apologies for the delay in my reply.
I was using 0.8.12 version earlier; tested with 0.8.15 now and it worked fine. Just a query here, shouldn't the shrunk value be '2.4' as its the min value from the set that doesn't pass the test?
from jqwik.
jlink
commented on July 20, 2024
I was wondering about the best shrunk value in that case myself. The distance function I use will value less decimal places as "closer" to the best possible value. If you have a compelling argument why 2.4 is the better value and how to calculate a general distance function for decimal numbers that will lead to this result I'd be happy to see that raised in a new issue.
from jqwik.
Related Issues (20)
- Bug: PropertyExecutor.execute() does not handle AssertionErrors correctly HOT 1
- ClassCastException when using Combinators during shrinking HOT 21
- ListArbitrary<T> providers are not selected to resolve List<T> parameters HOT 1
- Support OpenJML for Arbitraries
- Jqwik Quarkus Support HOT 2
- Type arguments are missing in some situations HOT 8
- support for heterogeneous arbitrary configurators in base HOT 9
- Arbitrary.size as an option to tweak during arbitrary construction. HOT 22
- Feature Request: Report generator state when generation fails with exception
- Provide a way to suppress excessive output/stacktraces HOT 16
- Domains inject parameterized values incorrectly HOT 25
- Method to specify the order of execution for tests HOT 5
- Programmatic use of jqwik without JUnit HOT 3
- Repeatead chars not working as expected HOT 6
- Every X years in @YearRange HOT 1
- Allow parallel test runs with SBT HOT 15
- Infinite action chains biased towards small sizes HOT 5
- 1.8.0 contracts regression HOT 16
- IllegalArgumentException: "At least one shrinkable is required" during shrinking hides cause of test failure HOT 4
- Consider supporting @UseType for sealed interfaces HOT 8
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from jqwik.