Description Kristof Szabados 2017-10-16 13:55:09 EDT

The current regression tests of Titan aim to test one thing, and one thing only.
For example all operations with bitstrings, integers, BER coding of all types and their values, etc...

There is however no test to see if the compilation is done structurally correctly.
For example
- lets have: module A imports module B, which imports module C
- we have a successful compilation of A,B,C together.
- now lets change B (for example delete all definitions, or change on constant used in module A)
- now if we try to compile this project again, the result should adapt to the change (in modules that depend on it).
If the constant in module B was changed ... the value in module A should be updated.
If definitions from module B were removed ... there should be errors in module A where they are referenced.
/*these are just to illustrate the idea of the test, not necessarily the tests to be written */