[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1004287: marked as done (ITP: rapidcheck -- C++ framework for property based testing)



Your message dated Mon, 14 Feb 2022 03:00:17 +0000
with message-id <E1nJRb7-0006BA-UW@fasolo.debian.org>
and subject line Bug#1004287: fixed in rapidcheck 0~1033-08b5058-1
has caused the Debian Bug report #1004287,
regarding ITP: rapidcheck -- C++ framework for property based testing
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1004287: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1004287
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Adam Borowski <kilobyte@angband.pl>
X-Debbugs-Cc: debian-devel@lists.debian.org

* Package name    : rapidcheck
* URL             : https://github.com/emil-e/rapidcheck
* License         : BSD-2
  Programming Lang: C++
  Description     : C++ framework for property based testing
 RapidCheck is a C++ framework for property based testing inspired by
 QuickCheck and other similar frameworks.  In property based testing,
 you state facts about your code that given certain precondition should
 always be true.  RapidCheck then generates random test data to try and
 find a case for which the property doesn't hold.  If such a case is
 found, RapidCheck tries to find the smallest case (for some definition
 of smallest) for which the property is still false and then displays
 this as a counterexample.  For example, if the input is an integer,
 RapidCheck tries to find the smallest integer for which the property is
 false.

I don't really care about this package, but it's a Build-Dependency.

--- End Message ---
--- Begin Message ---
Source: rapidcheck
Source-Version: 0~1033-08b5058-1
Done: Adam Borowski <kilobyte@angband.pl>

We believe that the bug you reported is fixed in the latest version of
rapidcheck, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1004287@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Adam Borowski <kilobyte@angband.pl> (supplier of updated rapidcheck package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 24 Jan 2022 12:07:16 +0100
Source: rapidcheck
Binary: librapidcheck-dev
Architecture: source amd64
Version: 0~1033-08b5058-1
Distribution: unstable
Urgency: medium
Maintainer: Adam Borowski <kilobyte@angband.pl>
Changed-By: Adam Borowski <kilobyte@angband.pl>
Description:
 librapidcheck-dev - C++ framework for property based testing
Closes: 1004287
Changes:
 rapidcheck (0~1033-08b5058-1) unstable; urgency=medium
 .
   * Initial release (Closes: #1004287)
Checksums-Sha1:
 120bc5d40de6e3b434846aae26f5a9b3496d48f9 1975 rapidcheck_0~1033-08b5058-1.dsc
 cee30bb5a1680b8b4ae1b56c6a4c5ff0eb322c7b 141240 rapidcheck_0~1033-08b5058.orig.tar.xz
 196329559dfd286cd39102a46dfbc91097c74a5a 2484 rapidcheck_0~1033-08b5058-1.debian.tar.xz
 637335cee21d73014a74f871b136e378d94120d3 181152 librapidcheck-dev_0~1033-08b5058-1_amd64.deb
 4c1a865cb6e8cf5946c15687c83a78eaf26ed971 6689 rapidcheck_0~1033-08b5058-1_amd64.buildinfo
Checksums-Sha256:
 e3637a0be4de58bc037eb0fb7cd72bde400de05f56f89f5d6c3e3c19ae155cd3 1975 rapidcheck_0~1033-08b5058-1.dsc
 ebb215f93a10cf1c48367b7fdd33dbba68724ead11126b94eeefa215a20bebf4 141240 rapidcheck_0~1033-08b5058.orig.tar.xz
 5255cb1d6c7fec07d618bebea65a3acca1ed8258b8bd072890defdff6a61acb7 2484 rapidcheck_0~1033-08b5058-1.debian.tar.xz
 e2d536955d0a1f31aa6f4ffa94f976b5043d0cfcb2bcc22f134787ed1da8060d 181152 librapidcheck-dev_0~1033-08b5058-1_amd64.deb
 93ddfd1e7abc035d66462059b23e70b073053ffd7b16f094031f25eb70a966ff 6689 rapidcheck_0~1033-08b5058-1_amd64.buildinfo
Files:
 c6ca566cf2e117dd8e4d03d5e7f00b60 1975 devel optional rapidcheck_0~1033-08b5058-1.dsc
 311d5dd3242a07e9514e1e3d99ed5284 141240 devel optional rapidcheck_0~1033-08b5058.orig.tar.xz
 846c319c4748f78899acc19113f18e94 2484 devel optional rapidcheck_0~1033-08b5058-1.debian.tar.xz
 d4139c98e3a1dee2f69f77600aa7aab3 181152 devel optional librapidcheck-dev_0~1033-08b5058-1_amd64.deb
 9693e72a3579ec598e108a74cedca57e 6689 devel optional rapidcheck_0~1033-08b5058-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkjZVexcMh/iCHArDweDZLphvfH4FAmHujKwACgkQweDZLphv
fH6c0w/+PJbVRb9+EnnN5nm1qOBQVnF5YAOJX78bEsVic16TFREc8eN/CC0DoXkS
fEtyFVrvzyNQTQsvlCAEtJ2Mm/aFOHD4zQQ14Rc427HEBgBCIk6oGY9UID3y56eo
9rF8a+7lOdoZib+fRR/RCQtPlfbxn5Zw1MPpkqY5zfW8Aohm2NJDsi11UK26nFxl
CwZXtFbEbp84eykaBQvJKM8Uyxx3r5lZff9EGcdG5QMqpElkVaVJ3ZI2xWfCsOrS
qIheppTpu3jvZyaP8592PPUTU9HF1oOvt2X2ICupfK3tS+BW5hTsdsWbaFx8ukjz
UL/PHY2h2Flf6YymLvrQ+sDjQa3q65/MLYaJpcAjpsmhpF+5cbUfR1QuZmMHXcEw
DJocENo4d2tUwdpJ6GZFsuvH6renzFiNHFqYp3NZMzDeKDF9Xl7eoHNWICNu2OFl
L8K/OLiR0pdRmyqkPcSqI1AgoNUGeglTV3crYZtgBVIwNwHnqs/osKK+DjDXSzZc
l/nBnTV8QmlMpWm6i70ltM+qAecJDx04QG7uyXfEaA9JAYn4juQeabkk1mHddJDl
NhXyrQotMklKYHsPiTx9P6Ovpq/JRIOVZm8JxUD8l6R8XmrrVxJa1oL6T7q5j/aU
8FH8X4WiNYfoEke9TngPw36EROrjdDmiCSKMBGzSLSBuCMEesoo=
=pscH
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: