SPIN/ID2T-toolkit: The official ID2T repository is now in GitHub and can be found in https://github.com/tklab-tud/ID2T @ 363e87eef1cf25c157508b9a296ee2f732e444fc

Jens Keim 363e87eef1 add --skip param		vor 5 Jahren
..
Attack	20344292eb only calculate needed interval stats with extra tests WIP	vor 5 Jahren
Core	20344292eb only calculate needed interval stats with extra tests WIP	vor 5 Jahren
ID2TLib	20344292eb only calculate needed interval stats with extra tests WIP	vor 5 Jahren
Test	512262a99a fix --inject-empty functionality	vor 5 Jahren
.coveragerc	54961ad231 Moved html output directory, reduced amount of text when testing	vor 6 Jahren
CLI.py	363e87eef1 add --skip param	vor 5 Jahren
__init__.py	29683b4714 delete captures and fix exceptions in building	vor 7 Jahren
config_example	29683b4714 delete captures and fix exceptions in building	vor 7 Jahren