search

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK
GNU General Public License v3.0
228 stars 54 forks source link

Ensure that a test has unique request ids. #1005

Closed reznikmm closed 2 years ago

reznikmm commented 2 years ago

This prevents test failures like this:

task server.input_task_0000000006F6B0B0 terminated by unhandled exception
raised CONSTRAINT_ERROR : LSP.Servers.Request_Maps.Delete: attempt to delete key not in map
[/home/runner/work/ada_language_server/ada_language_server/.obj/server/ada_language_server]
0x14420fd lsp__servers__request_maps__delete at ???
0x145d8c4 lsp__servers__input_task_typeTB at ???