• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..--

src/25-Apr-2025-250105

tests/25-Apr-2025-2824

.cargo-checksum.jsonD25-Apr-2025576 11

Android.bpD25-Apr-20251.3 KiB5550

Cargo.tomlD25-Apr-20251.1 KiB4743

LICENSED25-Apr-202510.6 KiB202169

LICENSE-APACHED25-Apr-202510.6 KiB202169

LICENSE-MITD25-Apr-20251,023 2421

METADATAD25-Apr-2025361 1817

MODULE_LICENSE_APACHE2D25-Apr-20250

README.mdD25-Apr-2025444 2217

TEST_MAPPINGD25-Apr-202580 87

cargo_embargo.jsonD25-Apr-202520 43

README.md

1# cov-mark
2
3Verify that your tests exercise the conditions you think they are exercising
4
5```rust
6fn safe_divide(dividend: u32, divisor: u32) -> u32 {
7    if divisor == 0 {
8        cov_mark::hit!(save_divide_zero);
9        return 0;
10    }
11    dividend / divisor
12}
13
14#[test]
15fn test_safe_divide_by_zero() {
16    cov_mark::check!(save_divide_zero);
17    assert_eq!(safe_divide(92, 0), 0);
18}
19```
20
21See [the docs](https://docs.rs/cov-mark) for details
22