raidlman

Example won't run if run_machine() is not called (even if there are no timed transitions). Otherwise m_initialized will be false forever and states won't do transitions.

[FR] change temp dir (improve documentation)

1

Depending on the length of the recorded cast, the png files can quickly grow in number and size. For systems with limited root file systems, converting casts to gif might...