saw-core-what4 panic message points to obsolete git repo
sauclovian-g opened this issue · comments
The panic message generated by saw-core-what4 says "Please create an issue at https://github.com/GaloisInc/saw-core-what4/issues" but that repo's obsolete.
Trivially fixed but you have to notice by receiving a panic... (more on that probably coming soon)