update tritondse script

This commit is contained in:
marc
2023-08-10 14:46:37 +02:00
parent 9607d1db06
commit 1cd9258768

View File

@ -164,7 +164,7 @@ def init(seed):
format = SeedFormat.COMPOSITE format = SeedFormat.COMPOSITE
# Now set up TritonDSE # Now set up TritonDSE
config = Config(coverage_strategy = CoverageStrategy.PATH, config = Config(coverage_strategy = CoverageStrategy.PATH,
debug = is_debug, # debug = is_debug,
pipe_stdout = is_debug, pipe_stdout = is_debug,
pipe_stderr = is_debug, pipe_stderr = is_debug,
execution_timeout = 1, execution_timeout = 1,