diff --git a/host_based/tracer/.gitignore b/host_based/tracer/.gitignore index 858d074..f9c82e6 100644 --- a/host_based/tracer/.gitignore +++ b/host_based/tracer/.gitignore @@ -3,4 +3,5 @@ pin-* pin.bin obj-* *tracer.so -pin \ No newline at end of file +pin +pin.log \ No newline at end of file diff --git a/host_based/tracer/pintool/test.sh b/host_based/tracer/pintool/test.sh index a62e8f9..d165416 100644 --- a/host_based/tracer/pintool/test.sh +++ b/host_based/tracer/pintool/test.sh @@ -1 +1 @@ -./pin/pin -t obj-intel64/tracer.so -o instructions.txt -c 1 -i 1 -m 0 -b 0 -- ../../target/release/tracer ../tests/wasms/wb_challenge.wasm 0x00 0x01 0x02 0x03 0x04 0x05 0x06 0x07 0x08 0x09 0x0a 0x0b 0x0c 0x0d 0x0e 0x0f || echo "Tracer failed" && exit 1 \ No newline at end of file +./pin/pin -t obj-intel64/tracer.so -o instructions.txt -c 1 -i 1 -m 0 -b 0 -- ../target/release/tracer ../tests/wasms/wb_challenge.wasm 0x00 0x01 0x02 0x03 0x04 0x05 0x06 0x07 0x08 0x09 0x0a 0x0b 0x0c 0x0d 0x0e 0x0f || echo "Tracer failed" && exit 1 \ No newline at end of file