Improve error message when using GetVerificationTasks

Author: keyboardDrummer

Source/Directory.Build.props

@@ -2,7 +2,7 @@
 
   <!-- Target framework and package configuration -->
   <PropertyGroup>
-    <Version>3.5.3</Version>
+    <Version>3.5.4</Version>
     <TargetFramework>net8.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>

Source/ExecutionEngine/ExecutionEngine.cs

@@ -768,7 +768,8 @@ public async Task<IReadOnlyList<IVerificationTask>> GetVerificationTasks(Program
     {
       var sink = new CollectingErrorSink();
       var resolutionErrors = program.Resolve(Options, sink);
-      string GetErrorsString() => string.Join("\n", sink.Errors.Select(t => $"{t.Token}: {t.Message}"));
+      
+      string GetErrorsString() => string.Join("\n", sink.Errors.Select(t => $"({t.Token.line},{t.Token.col}): {t.Message}"));
       if (resolutionErrors > 0)
       {
         throw new ArgumentException($"Boogie program had {resolutionErrors} resolution errors:\n{GetErrorsString()}");