fix: Crash when compiling an empty source file while including testing code#5638

Merged

stefan-aws merged 1 commit intodafny-lang:masterfrom fabiomadge:fix_5637

Jul 22, 2024

+20-8

Commits on Jul 19, 2024

fix: Crash when compiling an empty source file while including testing code
fabiomadge
committed