macroonz 0.2.0

Code generation that proves what it made, plus a harness for property, fuzz, fault, schedule, mutation, and benchmark testing.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

#![forbid(unsafe_code)]

use std::io::{self, Read};

fn main() -> io::Result<()> {
    let mut input = Vec::new();
    io::stdin().read_to_end(&mut input)?;
    std::hint::black_box(classify(&input));
    Ok(())
}

fn classify(input: &[u8]) -> u64 {
    match input {
        [0, tail @ ..] => zero(tail),
        [1, tail @ ..] => one(tail),
        [] => 0,
        _ => 1,
    }
}

fn zero(tail: &[u8]) -> u64 {
    if tail.contains(&0x7f) { 11 } else { 7 }
}

fn one(tail: &[u8]) -> u64 {
    if tail.len() > 1 { 23 } else { 19 }
}