summaryrefslogtreecommitdiff
path: root/test
AgeCommit message (Expand)AuthorLines
2019-08-15Fix generate-dfa-benchmark leaving out benchmark parts when splitting runsDaniel Friesel-3/+3
2019-08-13add fit tests for AnalyticModelDaniel Friesel-11/+18
2019-08-13adjust data path in test_timingharnessDaniel Friesel-1/+1
2019-08-12skip CC1200 tests for nowDaniel Friesel-0/+1
2019-08-12CI: Download test dataDaniel Friesel-14/+14
2019-07-26support '$' as trace filter terminatorDaniel Friesel-0/+2
2019-07-26tests: follow unittest naming schemeDaniel Friesel-0/+0
2019-07-25Move trace filter from postprocessing to automata moduleDaniel Friesel-0/+8
2019-07-24add simple AnalyticModel testDaniel Friesel-0/+27
2019-03-14PTA: Add from_yaml testsDaniel Friesel-0/+87
2019-03-13PTA: Support DFS with parameter trackingDaniel Friesel-3/+48
2019-03-01moar testsDaniel Friesel-1/+5
2019-03-01move tests to separate directoryDaniel Friesel-0/+616