3 Commits

Author	SHA1	Message	Date
Géry Debongnie	286090efca	[FIX] tooling: debug tool logged too many scheduler stops ... This was caused by additional calls to flush (because of connected components) closes #533	2019-12-03 15:16:29 +01:00
Géry Debongnie	85f26a0286	[IMP] tools: update debug script, add tests ... closes #525 closes #526	2019-12-03 08:28:46 +01:00
Géry Debongnie	821bd0b4b8	[IMP] tooling: add debug code ... closes #521	2019-12-02 09:03:48 +01:00