• formally verified with CDC

    @mattvenn
    mattvenn committed Nov 19, 2018
    696e225