xlsynth-prover 0.75.0

XLS formal pProvers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// SPDX-License-Identifier: Apache-2.0

use regex::Regex;

use super::types::Assertion;

pub fn filter_assertions<'a, R>(
    assertions: &'a [Assertion<'a, R>],
    include_filter: Option<&Regex>,
) -> Vec<&'a Assertion<'a, R>> {
    match include_filter {
        None => assertions.iter().collect(),
        Some(regex) => assertions
            .iter()
            .filter(|assertion| regex.is_match(assertion.label))
            .collect(),
    }
}