Hi,
I am playing with the replay environment and I have a few questions. First of all, how do you run? For instance for cat, do you run with run-bout ../cat testxyz.bout ? When I run this way, I get the ERROR: make_symbolic mismatch, different sizes so I assume the first parameter is not correct. Also, your replay environment runs the program with the same program arguments as in the test case, initializes the symbolic environment (at the moment these are the files from the symbolic file system) and uses ptrace to handle file related syscalls and fail system calls. Since you are already using ptrace and gdb uses ptrace too, I am wondering if it is still possible to replay inside gdb and valgrind. Did you experiment with that? I think this should still be possible if I attach gdb after running run-bout but I cannot try this at the moment because of the above error. Thanks for the help. Cristi
