| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-19 14:31:10 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-19 14:31:10 +0200 |
| commit | d74a7c7ab3f10e9ea6eddb26639cfb6929646793 (patch) | |
| tree | 29a09cc147d3b92c95ab0c6b30350d330aeaf57c /instr-to-kodkod/src | |
| parent | f2b7e406b8e77df22ef379a5e880f64d1e5043b9 (diff) | |
Fixes valid test, adds tests pretty printing.
Diffstat (limited to 'instr-to-kodkod/src')
0 files changed, 0 insertions, 0 deletions