Benign cargo Download

dfa.rs

Source contains low-bit mask syntaxRust test marker or harness

SHA-2568c02af79e785d593e1db7f8c5adf02bdb98eefaa6e08007f19eadc2bf6d9f2a5

Evidence

imports exec::ProgramCache lines 45–60

45:46… eavily influenced this
46implementation.)
47*/
48
49use std::collections::HashMap;
50use std::fmt;
51use std::iter::repeat;
52use std::mem;
53
54use exec::ProgramCache;
55use prog::{Inst, Program};
56use sparse::SparseSet;
57
58/// Return true if and only if the given program can be executed by a DFA.
59///
60/// Generally, …

imports prog::EmptyLook::* lines 1077–1083

27… 
  ) {
      use prog::Inst::*;
      use prog::EmptyLook::*;
1081
      // We need to traverse the NFA to follow epsilon transitions, so avoid
      // rec …

imports std::ascii::escape_default lines 1751–1758

65… ped string.
1752fn vb(b: usize) -> String {
  use std::ascii::escape_default;
1754
  if b > ::std::u8::MAX as usize {
      "EOF".to_owned()
  } else {
      let escape …

Source contains low-bit mask syntax lines 1802–1811

16…  = read_varu32(data);
  let mut n = (un >> 1) as i32;
  if un & 1 != 0 {
      n = !n;
  }
⋯5 lines

imports quickcheck::QuickCheck lines 1827–1847

⋯4 lines
1831}
1832
1833#[cfg(test)]
1834mod tests {
1835    extern crate rand;
1836
1837    use quickcheck::{QuickCheck, StdGen, quickcheck};
1838    use super::{
1839        StateFlags, State, push_inst_ptr,
1840        write_varu32, read_varu32, write_vari32, read_vari32,
1841    };
1842
1843    #[test]
1844    fn prop_state_encode_decode() {
1845        fn p(ips: Vec<u32>, flags: u8) -> bool {
1846            let mut data = vec![flags];
1847   …