mdtablefix 0.6.1

`mdtablefix` unb0rks and reflows Markdown tables so that each column has a uniform width. When the `--wrap` option is used, it also wraps paragraphs and list items to 80 columns.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! Deliberately failing proof used to prove that the Verus harness is live.
//!
//! `make verus-selftest` and `tests/verus_harness.rs` depend on this proof
//! failing; do not make its assertion provable.

use vstd::prelude::*;

verus! {

proof fn smoke_must_fail() {
    assert(false);
}

} // verus!

fn main() {}