diff options
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') - |