Increase delay in UserInterrupt.

This makes the test pass reliably (10/10) against the Arty board.
Previously it failed intermittently.

diff --git a/debug/gdbserver.py b/debug/gdbserver.py
index 9dfea39fda3630004109ce484b845aa90e099087..3d4533e1393960787ede1ac4c6067d74c5d757be 100755 (executable)
--- a/debug/gdbserver.py
+++ b/debug/gdbserver.py
@@ -386,7 +386,7 @@ class UserInterrupt(DebugTest):
         self.gdb.c()
         self.gdb.p("i=123")
         self.gdb.c(wait=False)
-        time.sleep(0.1)
+        time.sleep(0.5)
         output = self.gdb.interrupt()
         assert "main" in output
         assertGreater(self.gdb.p("j"), 10)