Closed mario-bucev closed 9 months ago
Disabling Stainless verification would cause a crash due to ghost-elim depending on being run after stainless.
ghost-elim
stainless
Disabling Stainless verification would cause a crash due to
ghost-elim
depending on being run afterstainless
.