internal error

[kjx]

Dafny version

4.5.0+39e72fcf6b2e05f7031713e3d25b10afa6de31c4, 4.5.0,

Code to produce this issue

(minimal - sorry, don't have the time) 

source file attached below - rename from dahlia-crash.txt to .dfy

run command below.

Command to run and resulting output

time daFny verify --isolate-assertions --verification-time-limit 30 --cores 8 --log-format "text;LogFileName=log.txt"  dahlia-07.dfy

What happened?

what I see:

dahlia-07.dfy(414,0): Error: Dafny encountered an internal error while waiting for this symbol to verify. Please report it at <https://github.com/dafny-lang/dafny/issues>.
 
    |
414 | CuttyOwnerisUnique  (cut : Object, tree : set<Object>, trunk : set<Object>, branch : set<Object>,
    | ^^^^^^^^^^^^^^^^^^


Dafny program verifier finished with 205 verified, 0 errors

I've no idea whether to believe the last line or not...
dahlia-crash.txt

What type of operating system are you experiencing the problem on?

Mac