Snippets Groups Projects

TestUtil.java

2 years ago
6f191f28
Replace custom Ast2String with ASTProlog from B parser · 6f191f28
dgelessus authored 2 years ago
```
The AST form is only used for comparisons in tests, so the exact format
doesn't matter.
```
6f191f28

History
Replace custom Ast2String with ASTProlog from B parser
dgelessus authored 2 years ago
```
The AST form is only used for comparisons in tests, so the exact format
doesn't matter.
```

Code owners

Assign users and groups as approvers for specific file changes. Learn more.