Name : perl-Test-LectroTest
| |
Version : 0.5001
| Vendor : Fedora Project
|
Release : 19.fc31
| Date : 2019-07-26 18:08:02
|
Group : Unspecified
| Source RPM : perl-Test-LectroTest-0.5001-19.fc31.src.rpm
|
Size : 0.14 MB
| |
Packager : Fedora Project
| |
Summary : Easy, automatic, specification-based tests
|
Description :
LectroTest is an automated, specification-based testing system. To use it, declare properties that specify the expected behavior of your software. Then invoke LectroTest to test whether those properties hold.
LectroTest does this by running repeated random trials against your software. If LectroTest finds that a property doesn\'t hold, it emits the counterexample that \"broke\" your software. You can then plug the counterexample into your software to debug the problem.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/31/Everything/armhfp/os/Packages/p |