Benign rust 1,257 installs Download

blue-lang-check 0.0.48

“blue's typing ladder: zero analysis at rung 0, checked where declared, obligations discharged at the seam.”

AArch64 (ARM64) architecture stringBasename is uppercase README.md

SHA-25699d10de358424f269051876ab62d95fdf22b71a04d2af9073d3862a487268394

URLhttps://static.crates.io/crates/blue-lang-check/blue-lang-check-0.0.48.crate

Evidence

imports std::path::PathBuf totality.rs · lines 21–26

21:37… us; proves the property over these inputs.
22
23use std::path::PathBuf;
24
25fn corpus() -> Vec<(String, String)> {
26    let root = PathBuf::from(env!("CARGO_MANIFEST_DIR" …

Enumerates a directory with Rust std::fs totality.rs · lines 29–36

3…       .join("spec");
  let mut out = Vec::new();
  for e in std::fs::read_dir(&root)
      .unwrap_or_else(|err| panic!("spec dir {} unreadable: {err}", root.display()))
      .filter_map(Result::ok)
  {
      let p = e.path();
      if p.extension().an …

assert! macro totality.rs · lines 44–53

40… to_string(&p) {
          out.push((name, src));
      }
  }
  out.sort();
  assert!(
      !out.is_empty(),
      "spec corpus EMPTY — suite would pass vacuously"
  );
  …

Rust synchronous or async test attribute totality.rs · lines 60–65

60/// exactly the ASTs a hand-written test never thinks to build.
61#[test]
62fn no_parseable_prefix_panics_the_checker() {
63    let mut checked = 0usize;
64    let mut reached = 0usize;
65    for (name, src) i …

imports blue_lang_syntax::parse_program_tree lib.rs · lines 448–462

⋯6 lines
454}
455
456#[cfg(test)]
457mod tests {
458    use super::*;
459    use blue_lang_syntax::parse_program_tree;
460
461    fn check(src: &str) -> Outcome {
462        let forms = parse_program_tree(src).unwrap_or_el …

No evidence locations were recorded for this file. Raw result