The encoding can analyze two models in the files pretzelSPA3_bad.json and contract_long.json.
Code modifications are tested by running the web interface and checking whether the created diagrams look similar.
Necessary are tests to check, whether the different encodings and transformations are correct.
The encoding can analyze two models in the files
pretzelSPA3_bad.jsonandcontract_long.json.Code modifications are tested by running the web interface and checking whether the created diagrams look similar.
Necessary are tests to check, whether the different encodings and transformations are correct.