'''
Created on 15 Dec 2016

@author: pedroribeiro
'''

#CS laptop
# FDR2_HOME = "/usr/local/fdr2"
FDR2_HOME = "/home/pedino/Tools/fdr2"

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

TIMEOUT = 3600
