Slicing for traces, both normal and positive

2025-09-24 18:25:56 +02:00
parent eee0439f6e
commit fac85a10d5
10 changed files with 1028 additions and 61 deletions
--- a/execution/src/presets.rs
+++ b/execution/src/presets.rs
@ -630,8 +630,7 @@ where
 /// Computes the LTS.
 /// equivalent to main_do(digraph, Arcs) or to main_do(advdigraph, Arcs)
 pub fn digraph(system: &mut EvaluatedSystem) -> Result<(), String> {
-    if let (Some(sys), true) = (&system.sys, system.graph.is_none())
-    {
+    if let (Some(sys), true) = (&system.sys, system.graph.is_none()) {
        let graph = sys.digraph()?;
        system.graph = Some(graph);
    } else if let (Some(positive), true) =