https://bugzilla.redhat.com/show_bug.cgi?id=2516181
Bug ID: 2516181
Summary: Review Request: gap-pkg-quickcheck - Randomized
property-based testing for GAP
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Target Milestone: ---
Classification: Fedora
Spec URL:
https://jjames.fedorapeople.org/gap-pkg-quickcheck/gap-pkg-quickcheck.spec
SRPM URL:
https://jjames.fedorapeople.org/gap-pkg-quickcheck/gap-pkg-quickcheck-1.0.2%5E20260731.3a1a010-1.fc46.src.rpm
Fedora Account System Username: jjames
Description: This package provides a library for randomized, property-based
testing in GAP, inspired by the QuickCheck framework found in languages like
Haskell.
It allows you to write tests as general properties that should hold true for
your code, and the QuickCheck package will then generate a large number of
random test cases to try and find a counterexample.
Features:
- Property-Based Testing: Define properties and let the framework generate test
data automatically.
- Automatic Sizing: The package automatically tries a range of different sizes
for the generated objects, starting with small and simple cases to find the
minimal counterexamples first.
- Variety of Types: It supports random generation for a range of common GAP
types.
I am willing to swap reviews.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
https://bugzilla.redhat.com/show_bug.cgi?id=2516181
Report this comment as SPAM:
https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202516181%23c0
--
_______________________________________________
package-review mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/[email protected]
Do not reply to spam, report it:
https://forge.fedoraproject.org/infra/tickets/issues/new
