diff options
Diffstat (limited to 'src/focaccia/tools/validate_qemu.py')
| -rwxr-xr-x | src/focaccia/tools/validate_qemu.py | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/focaccia/tools/validate_qemu.py b/src/focaccia/tools/validate_qemu.py index 56e3beb..2b7e65c 100755 --- a/src/focaccia/tools/validate_qemu.py +++ b/src/focaccia/tools/validate_qemu.py @@ -40,11 +40,6 @@ In fact, this tool could be used to test any emulator that provides a GDB-server interface. The server must support reading registers, reading memory, and stepping forward by single instructions. """ - prog.add_argument('hostname', - help='The hostname at which to find the GDB server.') - prog.add_argument('port', - type=int, - help='The port at which to find the GDB server.') prog.add_argument('--symb-trace', required=True, help='A pre-computed symbolic transformation trace to' \ |