'''
Created on 15 Dec 2016

@author: pedroribeiro
'''
#CS Laptop
#Path to our FDR4 version including DeadlOx and ApprOx
TOOL_HOME = "/path/to/package/fdr3/bin"

DFINDER_HOME = "/home/pedino/Tools/DFinder2"

FDR4_HOME = "/usr/bin"

#CS laptop
FDR2_HOME = "/usr/local/fdr2"

DEADLOCK_CHECKER_HOME = "path/to/package/DC/bin/"

TIMEOUT = 300
