diff --git a/data/goal.txt b/data/goal.txt new file mode 100644 index 00000000..c63d1573 --- /dev/null +++ b/data/goal.txt @@ -0,0 +1,3 @@ ++++++ +val_eq (Val.add (Val.add (r3 PC) Vone) Vone) (Val.add (x2 PC) Vone) +***** diff --git a/scripts/gen_tactic.sh b/scripts/gen_tactic.sh index add131ce..7341f141 100755 --- a/scripts/gen_tactic.sh +++ b/scripts/gen_tactic.sh @@ -1,2 +1,5 @@ #!/bin/bash +# Usage: +# wget http://pjreddie.com/media/files/peek.weights +# scripts/gen_tactic.sh data/goal.txt ./darknet rnn generatetactic cfg/gru.cfg peek.weights < $1 2>/dev/null