runtimeverification / rv-predict

Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

Here is Carlton's work on initialization, plus my modifications: #1021

Closed gnuoyd closed 5 years ago

gnuoyd commented 5 years ago

Initialize pointers to the real implementation before jumping through those pointers.

Don't try to trace to a ring if rings are not initialized.