
Dafny program verifier finished with 1 verified, 0 errors
replaceableExecutionErrors.dfy(4,19): Error: when producing executable code, replaceable modules must be replaced somewhere in the program. For example, `module NeverReplacedImpl replaces NeverReplaced { ... }`
Translation was aborted because errors were found
