Subversion Repositories connect-6

bgcap 0

c_compiler gcc

cache_data_files yes

cache_result_files no

cpp_compiler g++

editor xterm -e vi %FILE% &

filter ERROR WARNING INTERNAL_ERROR

headers synth_src/connect6.h synth_src/connect6_synth.h synth_src/q.hpp synth_src/shared.h synth_src/threats.h synth_src/util.h

logdir Logs

maxhist 0

outputmode normal

read_only_files 0

results myboard.txt

sc_compiler g++

source_directory ./

sources synth_src/connect6.cpp synth_src/connect6_synth.cpp synth_src/main.cpp synth_src/q.cpp synth_src/state.cpp synth_src/threats.cpp synth_src/util.cpp

transcript 0