2019 EuroLLVM Developers’ Meeting: R. Kovács “Cross translation unit test case reduction”