diff options
Diffstat (limited to '')
| -rw-r--r-- | runnable_agent/Agent.jar | bin | 0 -> 531380 bytes | |||
| -rw-r--r-- | runnable_agent/dotsandboxesagent | 3 | ||||
| -rw-r--r-- | runnable_agent/final_ann | bin | 0 -> 2712 bytes |
3 files changed, 3 insertions, 0 deletions
diff --git a/runnable_agent/Agent.jar b/runnable_agent/Agent.jar Binary files differnew file mode 100644 index 0000000..6b969cc --- /dev/null +++ b/runnable_agent/Agent.jar diff --git a/runnable_agent/dotsandboxesagent b/runnable_agent/dotsandboxesagent new file mode 100644 index 0000000..3788e28 --- /dev/null +++ b/runnable_agent/dotsandboxesagent @@ -0,0 +1,3 @@ +#!/bin/bash +cd "$(dirname "$0")" +java -jar Agent.jar -p $@
\ No newline at end of file diff --git a/runnable_agent/final_ann b/runnable_agent/final_ann Binary files differnew file mode 100644 index 0000000..7be12c1 --- /dev/null +++ b/runnable_agent/final_ann |