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

Jens Keim 93cb2aa0e9 only calculate needed interval stats with extra tests		vor 5 Jahren
..
Attack	93cb2aa0e9 only calculate needed interval stats with extra tests	vor 5 Jahren
Core	93cb2aa0e9 only calculate needed interval stats with extra tests	vor 5 Jahren
ID2TLib	93cb2aa0e9 only calculate needed interval stats with extra tests	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	93cb2aa0e9 only calculate needed interval stats with extra tests	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