fx

kroening · kroening · commit 301cc35c3600 · 2025-05-17T16:41:28.000+01:00
diff --git a/src/temporal-logic/sva_to_ltl.cpp b/src/temporal-logic/sva_to_ltl.cpp
@@ -88,7 +88,7 @@ std::vector<ltl_sequence_matcht> LTL_sequence_matches(const exprt &sequence)
       for(auto &match_op : matches_op)
       {
         ltl_sequence_matcht match;
-        for(mp_integer i=0; i<n; i++)
+        for(mp_integer i = 0; i < n; i++)
         {
           match.append(match_op);
         }

Original file line number	Diff line number	Diff line change
`@@ -88,7 +88,7 @@ std::vector<ltl_sequence_matcht> LTL_sequence_matches(const exprt &sequence)`
`88`	`88`	`for(auto &match_op : matches_op)`
`89`	`89`	`{`
`90`	`90`	`ltl_sequence_matcht match;`
`91`		`- for(mp_integer i=0; i<n; i++)`
	`91`	`+ for(mp_integer i = 0; i < n; i++)`
`92`	`92`	`{`
`93`	`93`	`match.append(match_op);`
`94`	`94`	`}`