Add test for debuginfo symbols.

Currently fails with 32-bit tools.

diff --git a/debug/gdbserver.py b/debug/gdbserver.py
index f45baedad38672325e5da9d6cc44d2c67f7aa8b3..4e2b0b4bb9badd5075ccf3202d8c504a26655901 100755 (executable)
--- a/debug/gdbserver.py
+++ b/debug/gdbserver.py
@@ -196,6 +196,14 @@ class DebugTest(DeleteServer):
     def test_exit(self):
         self.exit()
 
+    def test_symbols(self):
+        self.gdb.b("main")
+        self.gdb.b("rot13")
+        output = self.gdb.c()
+        self.assertIn(", main ", output)
+        output = self.gdb.c()
+        self.assertIn(", rot13 ", output)
+
     def test_breakpoint(self):
         self.gdb.b("rot13")
         # The breakpoint should be hit exactly 2 times.