Open andrewbwm opened 4 months ago
We should create a separate language called testLang used to for the tests.
This language could be used to explore corner cases and more easily evaluate features in the language and attack graph.
For example, coreLang, does not currently have any subtype operators which means that it is no longer being tested.
Set operations and the transitive operator are also known to have bugs and not be tested sufficiently.
We should create a separate language called testLang used to for the tests.
This language could be used to explore corner cases and more easily evaluate features in the language and attack graph.
For example, coreLang, does not currently have any subtype operators which means that it is no longer being tested.
Set operations and the transitive operator are also known to have bugs and not be tested sufficiently.