BinaryWarlock

Results 3 comments of BinaryWarlock

Actually I suppose it's just that the binary filename is kept in the textbox which is expected to be a connection string, and for some reason gdbgui overwrites that file....

This is subsumed by #229.

@antimora Do you happen to know which ops this model is blocked on currently?