Skip to content
Snippets Groups Projects
Select Git revision
  • bdd593e02f56c2be4dc6ba9b399d6be59d0054f7
  • master default protected
  • klee-args
  • stable
4 results

Cargo.toml

Blame
  • Forked from Per Lindgren / cargo-klee
    Source project has a limited visibility.
    This project manages its dependencies using Cargo. Learn more
    grammar.lalrpop 133 B
    use std::str::FromStr;
    
    grammar;
    
    pub Id: String = {
        r"([a-z]|[A-Z])([a-z]|[A-Z]|[0-9]|_)*" => String::from_str(<>).unwrap(),
    };