Skip to content

Commit a164fcb

Browse files
tarcieritarcieri
authored
cmov: add proptests (#1295)
Tests the implementation against random cases to ensure correctness
1 parent 9b165f6 commit a164fcb

3 files changed

Lines changed: 347 additions & 0 deletions

File tree

‎Cargo.lock‎

Lines changed: 272 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎cmov/Cargo.toml‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,3 +15,6 @@ Conditional move CPU intrinsics which are guaranteed on major platforms to execu
1515
and not be rewritten as branches by the compiler. Provides wrappers for the CMOV family of
1616
instructions on x86/x86_64 and CSEL on AArch64, along with a portable "best-effort" fallback.
1717
"""
18+
19+
[dev-dependencies]
20+
proptest = "1.9"

0 commit comments

Comments
 (0)