So interesting thing using seahorn and with help from the se kotlinlang #kotlin-native

So interesting thing, using seahorn (and with help...

jkbbwr

04/17/2018, 1:31 AM

So interesting thing, using seahorn (and with help from the seahorn guys) I have been able to model check kotlin native.