yarpgen
jetscii
yarpgen | jetscii | |
---|---|---|
3 | 2 | |
455 | 108 | |
1.8% | - | |
6.0 | 2.9 | |
3 months ago | 8 months ago | |
C++ | Rust | |
GNU General Public License v3.0 or later | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
yarpgen
-
Property-Based Testing in Rust with Arbitrary
One also may bias values to be similar (or equal) to other recently generated values. This was a trick used in the compiler tester yarpgen, where it was useful in testing optimization of bitwise operators on integers.
https://github.com/intel/yarpgen
https://github.com/intel/yarpgen/blob/main/papers/yarpgen-oo...
(see "Policies for constants", page 196:8.)
-
Finding Bugs in C and C++ Compilers using YARPGen
This is really impressive! A link to the github if anyone wants to check out the code: https://github.com/intel/yarpgen/blob/main/README.md
Here's a list of bugs found by Yarpgen: https://github.com/intel/yarpgen/blob/main/bugs.rst
jetscii
- Recommended DOCX Crate?
-
Property-Based Testing in Rust with Arbitrary
If you enjoy reading Rust code, you can see some examples I have...
1. This example [1] compares a SIMD-accelerated implementation of an algorithm vs the naive implementation. This is usually referred to as an "oracle".
2. This example [2] tests an XML document object model library. The tests construct a sequence of operations to apply to a document ("add an element", "delete an element", "move an element" etc) and then assert properties that you expect to be true for a DOM tree (a parent and child are always cross-linked, for example)
[1]: https://github.com/shepmaster/jetscii/blob/8d7e44ad7da990ef1...
[2]: https://github.com/shepmaster/sxd/pull/21/files#diff-fc21cbf...
What are some alternatives?
csmith - Csmith, a random generator of C programs
MarkovJunior - Probabilistic language based on pattern matching and constraint propagation, 153 examples
sxd