interpreter: compile array expressions

cucapra · Dec 4, 2023 · 5fe9e41 · 5fe9e41
1 parent 076be6f
commit 5fe9e41
Show file tree

Hide file tree

Showing 2 changed files with 252 additions and 90 deletions.
diff --git a/src/btor2/parse.rs b/src/btor2/parse.rs
@@ -90,7 +90,7 @@ impl<'a> Parser<'a> {
             .sys
             .states()
             .enumerate()
-            .rev()
+            .rev() // this reverse is needed in order to properly remove elements from back to front
             .filter(|(_, s)| s.init.is_none() && s.next.is_none())
             .map(|(i, _)| i)
             .collect::<Vec<_>>();