Commit 4332b7ad authored by Ari Trachtenberg's avatar Ari Trachtenberg
Browse files

Throw RunTime error on invalid covering

parent 19e2d044