示例#1
0
     }
 } else {
     //echo "compilation success";
     /*******************************RUN CODE******************************/
     //$expected_output_file_name = "output/".string_to_cmd($question_name).".txt";
     $user_output_file_name = "user_output/" . $code_num . ".txt";
     // TODO read from database
     //echo $user_output_file_name."<br>".$expected_output_file_name."<br>".$input_file_name;
     $query = "select * from questions where name = '{$question_name}'";
     $result = mysqli_query($con, $query);
     //echo mysqli_num_rows($row);
     $row = mysqli_fetch_array($result);
     $cases = $row['test cases'];
     echo "<div style =\"margin-left:50px; margin-top:20px; font-size:11px;\">";
     for ($i = 0; $i < $cases; $i++) {
         $input_file_name = "input/" . string_to_cmd($question_name) . "/{$i}.txt";
         // int output file too put the test and end
         $execute_res = execute("./a.out <" . $input_file_name . " >" . $user_output_file_name, null, $out, $out, 5);
         //echo "<h1>return value $execute_res</h1>";
         if (!$execute_res) {
             $time = date("Y-m-d H:i:s");
             $query = "UPDATE code_submissions SET status ='0', result = 'runtime error', sub_time = '{$time}' where code_num = '{$code_num}'";
             if (!mysqli_query($con, $query)) {
                 echo mysqli_error($con);
             }
             unlink($user_output_file_name);
             echo "<br><span style=\"background:rgb(184,50,0); color:white; margin-left:400px; padding:10px;\">Run time Error on case {$i} ..... there might be an infinite loop in your code</span>";
             echo "<div style=\"background:#9ACD32;width:200px;margin-top:10px;padding:10px 10px;font-size:12pt; border-radius:2px; color:white;\">Test: #{$i}</div><b>Input</b>";
             echo "<div style = \"background:#eee;\">";
             $input_file_name = "input/" . $question_name . "/{$i}.txt";
             $inp_f = fopen($input_file_name, 'r');
示例#2
0
             fwrite($case_file, $line);
             $line = fgets($f);
         }
         fclose($case_file);
         $cases++;
     }
 }
 fclose($f);
 $query = "update questions set `test cases` = '{$cases}' where `name` ='" . $_POST['ques-name'] . "'";
 if (!mysqli_query($con, $query)) {
     echo "galat\n";
 }
 /*
  *end
  */
 exec("mkdir ../output/" . string_to_cmd($_POST['ques-name']));
 echo "after\n";
 $f = fopen("../output/temp.txt", 'w');
 fclose($f);
 /*$f = fopen("../output/" . $_POST['ques-name'].".txt",'w');
   fclose($f);*/
 echo "<h1>" . $_POST['ques-name'] . "</h1>";
 move_uploaded_file($_FILES["output-file"]["tmp_name"], "../output/temp.txt");
 /*
  *create multiple test cases
  */
 $f = fopen("../output/temp.txt", 'r');
 $cases = 0;
 while (!feof($f)) {
     $temp = fgets($f);
     if (substring($temp, "#Test") || substring($temp, "#test")) {