Run with coverage

Last modified: 07 September 2023