diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9ab1418..6d51809 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -105,8 +105,8 @@ jobs: echo "Running..." # Run Evolver with GDB - # However, sent a SIGINT after 6 minutes (indicating a hanging Evolver) to get a stacktrace - TIMEOUT=360 + # However, sent a SIGINT after 10 minutes (indicating a hanging Evolver) to get a stacktrace + TIMEOUT=600 # Run GDB in the background gdb_output_file=$(mktemp) diff --git a/tic_tac_toe_evolver.amlg b/tic_tac_toe_evolver.amlg index 30b1605..e2975ab 100644 --- a/tic_tac_toe_evolver.amlg +++ b/tic_tac_toe_evolver.amlg @@ -28,8 +28,11 @@ board board player player ) - ;sandbox execution using defaults - .true + ;sandbox execution using defaults but constrain compute and memory a little more + { + max_node_operations 3000 + max_node_allocations 2500 + } ) get_player_1_move