Run performance comparison in CI using Kani's Benchcomp#8171

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:features/benchcomptautschnig/cbmc:features/benchcompCopy head branch name to clipboard