'''
Created on 15 Dec 2016

@author: pedroribeiro
'''
#CS Laptop
TOOL_HOME = "/home/pedino/NewBuild/bin"

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

FDR3_HOME = "/usr/bin" 

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

DEADLOCK_CHECKER_HOME = "/home/pedino/Dropbox/PhD/WorkspaceJava/DeadlockChecker/bin/"

TIMEOUT = 300
