Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 27 lines (22 sloc) 686 Bytes
#!/bin/bash
PIN_PATH=bazel-bin/external/pin
PIN=${PIN_PATH}/pinbin
BIN_PATH=bazel-bin/xiosim/pintool
PINTOOL=${BIN_PATH}/feeder_zesto.so
TIMING_SIM=${BIN_PATH}/timing_sim
ZESTOCFG=xiosim/config/N.cfg
BENCHMARK_CFG_FILE=benchmarks.cfg
CMD_LINE="setarch x86_64 -R ${BIN_PATH}/harness \
-benchmark_cfg $BENCHMARK_CFG_FILE \
-timing_sim ${TIMING_SIM} \
-config $ZESTOCFG \
-pin $PIN \
-pause_tool 1 \
-xyzzy \
-ifeellucky \
-catch_signals 0 \
-t \
$PINTOOL \
-speculation false"
echo $CMD_LINE
$CMD_LINE