1. 4
    1. 3

      Seems similar to PGO with a different optimization function. Cool work.

      I wonder if you could use this to double check properties in property based testing?