Coverage remained the same at 100.0% when pulling 0e7ca2b92be71a3f55d5a24a4febbf235714228c on fix-utilisation-bug into c3793b3b403a247a15797e6e37891b88cd214f95 on master.
Coverage remained the same at 100.0% when pulling c68803620419277b9e3469ae9cab227b7fb5ac40 on fix-utilisation-bug into c3793b3b403a247a15797e6e37891b88cd214f95 on master.
Bug allowed utilisation to be greater than 100% in some cases. This fixes that bug, and adds tests and property based tests to check for it.