diff options
| author |  qunyanm <unknown> | 2015-12-04 08:52:13 -0800 |
|---|---|---|
| committer | qunyanm <unknown> | 2015-12-04 08:52:13 -0800 |
| commit | 8248d9f5548c2635f3eded76b63ef551b24a9b80 (patch) | |
| tree | f04c58d46337584839b0f464d4ca890ef8479c28 /Test | |
| parent | e2bab8d4be0805bf22f7295be2014a39d1e18535 (diff) | |
Fix printing for ForallStmt. Previously we traverse the resolved forall
expressions to get the attributes for the forallstmt, which is flawed since the
forallexpr could have been splitted into different subquantifiers each with
different triggers. PrintExpression already knows how to print out
splitted forall expressions, so we use it to print the resolved forall
expressions instead.
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions