File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -333,7 +333,8 @@ function fetch_executable_internal(
333333 $ execbuildpath = $ execbuilddir . '/build ' ;
334334 $ execrunpath = $ execbuilddir . '/run ' ;
335335 $ execrunjurypath = $ execbuilddir . '/runjury ' ;
336- if (!is_dir ($ execdir ) || !file_exists ($ execdeploypath )) {
336+ if (!is_dir ($ execdir ) || !file_exists ($ execdeploypath ) ||
337+ ($ combined_run_compare && file_get_contents (LIBJUDGEDIR . '/run-interactive.sh ' )!==file_get_contents ($ execrunpath ))) {
337338 system ('rm -rf ' . dj_escapeshellarg ($ execdir ) . ' ' . dj_escapeshellarg ($ execbuilddir ));
338339 system ('mkdir -p ' . dj_escapeshellarg ($ execbuilddir ), $ retval );
339340 if ($ retval !== 0 ) {
@@ -1399,7 +1400,7 @@ function judge(array $judgeTask): bool
13991400
14001401 $ input = $ tcfile ['input ' ];
14011402 $ output = $ tcfile ['output ' ];
1402- $ passLimit = $ run_config ['pass_limit ' ];
1403+ $ passLimit = $ run_config ['pass_limit ' ] ?? 1 ;
14031404 for ($ passCnt = 1 ; $ passCnt <= $ passLimit ; $ passCnt ++) {
14041405 $ nextPass = false ;
14051406 if ($ passLimit > 1 ) {
You can’t perform that action at this time.
0 commit comments