Update Core_kernel to Core

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

101 stars 14 forks source link

Closed fortunac closed 2 years ago

fortunac commented 2 years ago

Core_kernel is deprecated since Core and Core_kernel have been merged. This PR fixes the open statements to reflect this.

jtpaasch commented 2 years ago

@fortunac Does make test pass for you for wp?