SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Miri ignores for M1 regex (#1762)

Browse Source
This commit is contained in:
Dominik Maier 2023-12-27 00:36:21 +01:00 committed by GitHub
parent ce71858100
commit 9ad7d9bb64
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libafl/src/inputs/encoded.rs
View File

@ -271,6 +271,7 @@ mod tests {
};
#[test]
#[cfg_attr(all(miri, target_arch = "aarch64", target_vendor = "apple"), ignore)] // Regex miri fails on M1
fn test_input() {
let mut t = NaiveTokenizer::default();
let mut ed = TokenInputEncoderDecoder::new();

2
libafl/src/mutators/mutations.rs
View File

@ -1569,6 +1569,7 @@ mod tests {
/// This test guarantees that the likelihood of a byte being re-inserted is equally likely
#[test]
#[cfg_attr(all(miri, target_arch = "aarch64", target_vendor = "apple"), ignore)] // Regex miri fails on M1
fn test_insert() -> Result<(), Error> {
let base = BytesInput::new((0..10).collect());
let mut counts = [0usize; 10];
@ -1618,6 +1619,7 @@ mod tests {
/// This test guarantees that the likelihood of a random byte being inserted is equally likely
#[test]
#[cfg_attr(all(miri, target_arch = "aarch64", target_vendor = "apple"), ignore)] // Regex miri fails on M1
fn test_rand_insert() -> Result<(), Error> {
let base = BytesInput::new((0..10).collect());
let mut counts = [0usize; 256];