diff options
author | carhaas <carhaas1@gmail.com> | 2014-09-09 09:31:07 +0200 |
---|---|---|
committer | carhaas <carhaas1@gmail.com> | 2014-09-09 09:31:07 +0200 |
commit | 4dd862953695849412cef0d8d840266a0a8c86cf (patch) | |
tree | c28951147b1386c7725e3afc31020a527f647eec /example/cfg.rb | |
parent | 25fa34e5c4275cdd4a4ca735c12b4b22f7ed7c0e (diff) |
add free917
Diffstat (limited to 'example/cfg.rb')
-rw-r--r-- | example/cfg.rb | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/example/cfg.rb b/example/cfg.rb deleted file mode 100644 index 94fef2e..0000000 --- a/example/cfg.rb +++ /dev/null @@ -1,8 +0,0 @@ -_PATH = '/workspace/grounded/test' -SMT_SEMPARSE = "python #{_PATH}/smt-semparse/decode_sentence.py /workspace/grounded/test/smt-semparse/work/full_dataset" -EVAL_PL = "#{_PATH}/wasp-1.0/data/geo-funql/eval/eval.pl" -ACCEPT_ZOMBIES = true -TIMEOUT = 60 -CDEC_BIN = '/toolbox/cdec/decoder/cdec' -$cache = Memcached.new('localhost:31337') - |