# Reading from minimal.transcript

Verifying Impl$$_module.__default.A ...
  [1 proof obligation]  error
transcript(3,9): Error: assertion violation
Execution trace:
    (0,0): anon0
Verification completed successfully!
[SUCCESS] [[DAFNY-SERVER: EOM]]
Verification completed successfully!
[SUCCESS] [[DAFNY-SERVER: EOM]]
