mstlo 0.1.0

A Rust library for online monitoring of Signal Temporal Logic (STL) specifications.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

mod common;
mod fixtures;
#[cfg(test)]
use mstlo::monitor::{Algorithm, EagerQualitative, Rosi, StlMonitor};
use rstest::rstest;

use fixtures::formulas::formula_1;

// ---
// Test Runner for Build Failures
// ---

#[rstest]
#[should_panic]
fn test_monitor_build_fails_bool_naive_eager() {
    // Eager mode + Naive strategy is an invalid combination
    let _ = StlMonitor::builder()
        .formula(formula_1())
        .algorithm(Algorithm::Naive)
        .semantics(EagerQualitative)
        .build()
        .unwrap();
}

#[rstest]
#[should_panic]
fn test_monitor_build_fails_bool_rosi() {
    // Eager mode + Naive strategy is an invalid combination
    let _ = StlMonitor::builder()
        .formula(formula_1())
        .algorithm(Algorithm::Naive)
        .semantics(Rosi)
        .build()
        .unwrap();
}