besides main time, we now also print in and out timestamp of the underlying SimBricks interfaces
Attach a file by drag & drop or click to upload
