vyre-conform 0.1.0

Conformance suite for vyre backends — proves byte-identical output to CPU reference
Documentation 
1
2
3
4
5
6

use std::process;
use super::vyre_conform::proof::algebra::formal::smt;

fn help() -> String {
    "vyre-conform\n\nUSAGE:\n  vyre-conform dump --format=smt\n\nCOMMANDS:\n  dump --format=smt  Emit algebraic law specs as an SMT-LIB scaffold\n".to_string()
}