Skip to content

Commit 919e797

Browse files
committed
Rust: Add PrettyPrintModels.ql to the test. I gather this stabilized the output MaD IDs.
1 parent df8a92c commit 919e797

2 files changed

Lines changed: 86 additions & 70 deletions

File tree

0 commit comments

Comments
 (0)