cafe-grader-judge-scripts Commit

cafe-grader-judge-scripts

Commit `r263:7950cf0bb006` public

parent | child

Description:

Merge pull request #14 from nattee/master upgrade to current working snapshot

Commit status:

[Not Reviewed]

References:

merge default

Diff options:

| | | |

Comments:

0 Commit comments 0 Inline Comments

Unresolved TODOs:

There are no unresolved TODOs

Add another comment

r263:7950cf0bb006 - Sat, 17 Jun 2017 06:22:31 - 12 files changed: 448 inserted, 40 deleted

check_similar created 755 ¶ +93

@@ -0,0 +1,93
	1	+ #!/usr/bin/env ruby
	2	+
	3	+ def config
	4	+ Grader::Configuration.get_instance
	5	+ end
	6	+
	7	+ def display_manual
	8	+ puts <<USAGE
	9	+ Check similarity between submission
	10	+ using: check_similar sub1 sub2
	11	+ -- or --
	12	+ check_similar problem_name
	13	+ sub1 and sub2 are submission IDs to be checked
	14	+ problem_name will check all submissions of the problem wit problem short name is 'problem_name'
	15	+
	16	+ The output are given as
	17	+ sub1.login, sub1.id, sub1.point, sub2.login, sub2.id, sub2.point, similarity
	18	+
	19	+ USAGE
	20	+ end
	21	+
	22	+ def process_options_and_stop_file
	23	+
	24	+ # Process 'help' option
	25	+ if (ARGV.length == 0) or ((ARGV.length==1) and (/help/.match(ARGV[0])))
	26	+ display_manual
	27	+ exit(0)
	28	+ end
	29	+
	30	+ #default options
	31	+ options = {
	32	+ :dry_run => false,
	33	+ }
	34	+
	35	+
	36	+ if ARGV.length == 2
	37	+ options[:sub1] = ARGV[0].to_i
	38	+ options[:sub2] = ARGV[1].to_i
	39	+ elsif ARGV.length == 1
	40	+ options[:problem] = ARGV[0]
	41	+ end
	42	+
	43	+
	44	+ return options
	45	+ end
	46	+
	47	+ def compare(sub1,sub2,full = sub1.problem.full_score)
	48	+ dis = @jarow.getDistance(sub1.source, sub2.source)
	49	+ puts [sub1.user.login,"##{sub1.id}",(sub1.points * 100.0 / full).to_i,
	50	+ sub2.user.login,"##{sub2.id}",(sub2.points * 100.0 / full).to_i,
	51	+ "#{dis * 100}%"].join(',')
	52	+ end
	53	+
	54	+ #########################################
	55	+ # main program
	56	+ #########################################
	57	+
	58	+ options = process_options_and_stop_file
	59	+
	60	+ # load grader environment
	61	+ GRADER_ENV = 'grading'
	62	+ require File.join(File.dirname(__FILE__),'config/environment')
	63	+
	64	+ # boot rails, to be able to use the active record
	65	+ RAILS_ENV = config.rails_env
	66	+ require RAILS_ROOT + '/config/environment'
	67	+
	68	+ # load comparator
	69	+ require 'fuzzystringmatch'
	70	+ @jarow = FuzzyStringMatch::JaroWinkler.create( :native )
	71	+
	72	+ if options[:problem]
	73	+ p = Problem.where(name: options[:problem]).first
	74	+ unless p
	75	+ puts "cannot find problem #{options[:problem]}"
	76	+ exit(0)
	77	+ end
	78	+ subs = Submission.where(problem: p)
	79	+ full_score = p.full_score.to_i
	80	+ subs.each.with_index do \|s1,i\|
	81	+ puts "processing #{i+1} out of #{subs.length}"
	82	+ subs.each do \|s2\|
	83	+ if s1.user != s2.user
	84	+ compare(s1,s2,full_score)
	85	+ end
	86	+ end
	87	+ end
	88	+ else
	89	+ sub1 = Submission.find(options[:sub1])
	90	+ sub2 = Submission.find(options[:sub2])
	91	+ compare(sub1,sub2)
	92	+ end
	93	+

grader-process-check created 755 ¶ +6

@@ -0,0 +1,6
	1	+ #!/bin/bash
	2	+ count=`ps aux \| grep "cafe_grader" \| grep "grader grading queue" \| wc -l`
	3	+ if [ $count -lt 1 ]; then
	4	+ cd /home/dae/cafe_grader/judge
	5	+ /home/dae/.rvm/wrappers/ruby-2.3.0/ruby /home/dae/cafe_grader/judge/scripts/grader grading queue > /home/dae/grading.log &
	6	+ fi

installer/install-opensuse.sh created 644 ¶ +179

@@ -0,0 +1,179
	1	+ #!/bin/sh
	2	+
	3	+ echo "This script will install and configure Cafe grader."
	4	+
	5	+ RUBY_VERSION=2.1.2
	6	+ echo "This will install Ruby $RUBY_VERSION under RVM"
	7	+
	8	+ echo "Installing required apts"
	9	+
	10	+ sudo zypper install \
	11	+ g++ gcc libmysqlclient18 build-essential \
	12	+ git-core openssl libreadline6 libreadline6-devel \
	13	+ zlib1g zlib1g-devel libssl37 libyaml-devel sqlite3-devel \
	14	+ sqlite3 libxml2-devel libxslt-devel autoconf libc6-devel \
	15	+ ncurses-devel automake libtool bison subversion \
	16	+ pkg-config curl nodejs unzip pyflakes java-1_8_0-openjdk \
	17	+ libmysqld-devel mercurial python-setuptools python-devel
	18	+
	19	+
	20	+ echo "Installing Ruby $RUBY_VERSION in RVM"
	21	+
	22	+ rvm install $RUBY_VERSION
	23	+ rvm use $RUBY_VERSION
	24	+
	25	+ echo "Fetching Cafe Grader from Git repositories"
	26	+
	27	+ echo "Fetching web interface"
	28	+
	29	+ mkdir cafe_grader
	30	+ cd cafe_grader
	31	+ #git clone -q git://github.com/jittat/cafe-grader-web.git web
	32	+ hg clone git+ssh://git@github.com/nattee/cafe-grader-web.git web
	33	+
	34	+ echo "Configuring rails app"
	35	+
	36	+ cp web/config/application.rb.SAMPLE web/config/application.rb
	37	+ cp web/config/initializers/cafe_grader_config.rb.SAMPLE web/config/initializers/cafe_grader_config.rb
	38	+
	39	+ #replace UTC in application.rb with the system timezone
	40	+ timezone='UTC'
	41	+ if [ -f '/etc/timezone' ]; then
	42	+ timezone=\"`cat /etc/timezone`\"
	43	+ else
	44	+ if [ -f '/etc/sysconfig/clock' ]; then
	45	+ timezone=`grep -e '^TIMEZONE' /etc/sysconfig/clock \| grep -o -e '\".*\"'`
	46	+ fi
	47	+ fi
	48	+ replace="s!'UTC'!$timezone!g"
	49	+ sed -i $replace web/config/application.rb
	50	+
	51	+ echo "At this point we will need MySQL user and database."
	52	+ echo "Have you created MySQL user and database for Cafe grader? (Y/N) "
	53	+ read ch
	54	+
	55	+ if [ "$ch" = "n" -o "$ch" = "N" ]
	56	+ then
	57	+ echo "Please open another terminal and create the user and database for Cafe grader."
	58	+ echo "Don't forget to grant access to that database for the user."
	59	+ echo "Please have username, password, and database name ready before continue."
	60	+ echo
	61	+ echo "The following are instructions:"
	62	+ echo "1. Run mysql:"
	63	+ echo
	64	+ echo " mysql -u root -p"
	65	+ echo
	66	+ echo " if you have just installed mysql, the root password is the one that you have just entered"
	67	+ echo "2. Create a new database, a new user, and grant access to grader database:"
	68	+ echo
	69	+ echo " create user 'USERNAME'@'localhost' identified by 'PASSWORD';"
	70	+ echo " create database \`DATABASENEME\`;"
	71	+ echo " grant all on \`DATABASENAME\`.* to 'USERNAME'@'localhost';"
	72	+ echo
	73	+ echo " Replace USERNAME, PASSWORD, and DATABASENAME accordingly."
	74	+ echo
	75	+ echo "Hit enter when ready..."
	76	+ read dummy
	77	+ fi
	78	+
	79	+ CAFE_PATH=`pwd`
	80	+
	81	+ cd web
	82	+
	83	+ echo "Please provide grader database:"
	84	+ read database
	85	+
	86	+ echo "Please provide grader username:"
	87	+ read username
	88	+
	89	+ echo "Please provide $username password:"
	90	+ read password
	91	+
	92	+ echo "development:" > config/database.yml
	93	+ echo " adapter: mysql2" >> config/database.yml
	94	+ echo " encoding: utf8" >> config/database.yml
	95	+ echo " reconnect: false" >> config/database.yml
	96	+ echo " database: $database" >> config/database.yml
	97	+ echo " pool: 5" >> config/database.yml
	98	+ echo " username: $username" >> config/database.yml
	99	+ echo " password: $password" >> config/database.yml
	100	+ echo " host: localhost" >> config/database.yml
	101	+ echo " socket: /run/mysql/mysql.sock" >> config/database.yml
	102	+ echo "" >> config/database.yml
	103	+ echo "production:" >> config/database.yml
	104	+ echo " adapter: mysql2" >> config/database.yml
	105	+ echo " encoding: utf8" >> config/database.yml
	106	+ echo " reconnect: false" >> config/database.yml
	107	+ echo " database: $database" >> config/database.yml
	108	+ echo " pool: 5" >> config/database.yml
	109	+ echo " username: $username" >> config/database.yml
	110	+ echo " password: $password" >> config/database.yml
	111	+ echo " host: localhost" >> config/database.yml
	112	+ echo " socket: /run/mysql/mysql.sock" >> config/database.yml
	113	+
	114	+ echo "Object.instance_eval{remove_const :GRADER_ROOT_DIR}" >> config/initializers/cafe_grader_config.rb
	115	+ echo "Object.instance_eval{remove_const :GRADING_RESULT_DIR}" >> config/initializers/cafe_grader_config.rb
	116	+ echo "GRADER_ROOT_DIR = '$CAFE_PATH/judge'" >> config/initializers/cafe_grader_config.rb
	117	+ echo "GRADING_RESULT_DIR = '$CAFE_PATH/judge/result'" >> config/initializers/cafe_grader_config.rb
	118	+
	119	+ echo "Installing required gems"
	120	+ gem install bundler
	121	+ bundle install
	122	+
	123	+ echo "Running rake tasks to initialize database"
	124	+
	125	+ rake db:migrate
	126	+ rake db:seed
	127	+
	128	+ echo "Running rake tasks to precompile the assets"
	129	+
	130	+ rake assets:precompile
	131	+
	132	+ echo "Intalling web interface complete..."
	133	+ echo
	134	+ echo "Fetching grader"
	135	+
	136	+ cd ..
	137	+
	138	+ mkdir judge
	139	+ cd judge
	140	+ #git clone -q git://github.com/jittat/cafe-grader-judge-scripts.git scripts
	141	+ hg clone git+ssh://git@github.com/nattee/cafe-grader-judge-scripts.git scripts
	142	+ mkdir raw
	143	+ mkdir ev-exam
	144	+ mkdir ev
	145	+ mkdir result
	146	+ mkdir log
	147	+
	148	+ echo "Configuring grader"
	149	+
	150	+ cp scripts/config/env_exam.rb.SAMPLE scripts/config/env_exam.rb
	151	+ cp scripts/config/env_grading.rb.SAMPLE scripts/config/env_grading.rb
	152	+
	153	+ # create new environment.rb file
	154	+ echo "RAILS_ROOT = '$CAFE_PATH/web'" > scripts/config/environment.rb
	155	+ echo "GRADER_ROOT = '$CAFE_PATH/judge/scripts'" >> scripts/config/environment.rb
	156	+ echo "require File.join(File.dirname(__FILE__),'../lib/boot')" >> scripts/config/environment.rb
	157	+ echo "require File.dirname(__FILE__) + \"/env_#{GRADER_ENV}.rb\"" >> scripts/config/environment.rb
	158	+
	159	+ # compiling box
	160	+ MACHINE_TYPE=`uname -m`
	161	+ if [ ${MACHINE_TYPE} == 'x86_64' ]; then
	162	+ gcc -std=c99 -o scripts/std-script/box scripts/std-script/box64-new.c
	163	+ else
	164	+ g++ -o scripts/std-script/box scripts/std-script/box.cc
	165	+ fi
	166	+
	167	+
	168	+ cd ..
	169	+
	170	+ echo "Now you are ready to run cafe grader...."
	171	+ echo
	172	+ echo "Try:"
	173	+ echo
	174	+ echo " cd web"
	175	+ echo " rails s"
	176	+ echo
	177	+ echo "and access web at http://localhost:3000/"
	178	+ echo "The root username is 'root', its password is 'ioionrails'."
	179	+

load_testcase created 755 ¶ +85

@@ -0,0 +1,85
	1	+ #!/usr/bin/env ruby
	2	+
	3	+ def config
	4	+ Grader::Configuration.get_instance
	5	+ end
	6	+
	7	+ def display_manual
	8	+ puts <<USAGE
	9	+ load_testcases
	10	+ using: load_testcases [problem_name ...]
	11	+ problem_name are list of "short name" of the problems
	12	+
	13	+ options:
	14	+ --dry-run do nothing, just simulate the run
	15	+ --all import all problem. This might take several minutes
	16	+
	17	+ USAGE
	18	+ end
	19	+
	20	+ def process_options_and_stop_file
	21	+
	22	+ # Process 'help' option
	23	+ if (ARGV.length == 0) or ((ARGV.length==1) and (/help/.match(ARGV[0])))
	24	+ display_manual
	25	+ exit(0)
	26	+ end
	27	+
	28	+ #default options
	29	+ options = {
	30	+ :dry_run => false,
	31	+ }
	32	+
	33	+ options[:dry_run] = (ARGV.delete('--dry') != nil)
	34	+ options[:all] = (ARGV.delete('--all') != nil)
	35	+
	36	+ return options
	37	+ end
	38	+
	39	+ def process_problem(prob,dry_run = false)
	40	+ prob.testcases.destroy_all
	41	+ testcases_root = File.expand_path(GRADER_ROOT+"/../ev/#{prob.name}/test_cases/")
	42	+ num = 1
	43	+ puts "Processing problem #{prob.name}"
	44	+ loop do
	45	+ file_root = testcases_root + "/#{num}/"
	46	+ puts " checking file #{file_root}"
	47	+ break unless File.exists? file_root
	48	+ input = File.read(file_root + "/input-#{num}.txt")
	49	+ answer = File.read(file_root + "/answer-#{num}.txt")
	50	+ puts " got test case ##{num} of size #{input.size} and #{answer.size}"
	51	+
	52	+ #THIS IS JUST A PLACE HOLDER
	53	+ group = num #this is wrong!!! fix it!!
	54	+ score = 10
	55	+ #BEWARE
	56	+
	57	+ prob.testcases.create(input: input,sol: answer, num: num, score:score,group: group) unless dry_run
	58	+ num += 1
	59	+ end
	60	+ end
	61	+
	62	+ #########################################
	63	+ # main program
	64	+ #########################################
	65	+
	66	+ options = process_options_and_stop_file
	67	+
	68	+ # load grader environment
	69	+ GRADER_ENV = 'grading'
	70	+ require File.join(File.dirname(__FILE__),'config/environment')
	71	+
	72	+ # boot rails, to be able to use the active record
	73	+ RAILS_ENV = config.rails_env
	74	+ require RAILS_ROOT + '/config/environment'
	75	+
	76	+ if options[:all]
	77	+ Problem.all.each { \|prob\| process_problem(prob,options[:dry_run]) }
	78	+ else
	79	+ ARGV.each do \|name\|
	80	+ prob = Problem.find_by(name: name)
	81	+ process_problem(prob,options[:dry_run]) if prob
	82	+ puts "Cannot find the problem #{name}" unless prob
	83	+ end
	84	+ end
	85	+

import_problem ¶ +22 -16

               For wrapped checked script see comment in templates/check_wrapper for
                 information."
               end
               def count_testruns(testcase_dir, raw_prefix)
                 n = 0
                 begin
                   # check for test case n+1
                   if ((Dir["#{testcase_dir}/#{raw_prefix}#{n+1}.in"].length==0) and
                       (Dir["#{testcase_dir}/#{raw_prefix}#{n+1}[a-z].in"].length==0))
                     return n
                   end
                   n += 1
                 end while true
               end
               def create_dir_if_not_exists(dir)
                 if ! FileTest.exists? dir
                   FileUtils.mkdir(dir)
                 end
               end
               def import_problem(ev_dir, problem, testcase_dir, num_testruns, raw_prefix, check_script, options)
                 testrun_info = build_testrun_info_from_dir(num_testruns, testcase_dir, raw_prefix)
                 if !(FileTest.exists? ev_dir)
                   puts "Testdata dir (#{ev_dir}) not found."
                   return
                 end
                 problem_dir = "#{ev_dir}/#{problem}"
                 # start working
                 puts "creating directories"
                 create_dir_if_not_exists("#{problem_dir}")
                 create_dir_if_not_exists("#{problem_dir}/script")
                 create_dir_if_not_exists("#{problem_dir}/test_cases")
                 puts "copying testcases"
                 tr_num = 0
                 num_testcases = 0
                 testrun_info.each do |testrun|
                   tr_num += 1
                   puts "testrun: #{tr_num}"
+            +
                   testrun.each do |testcase_info|
                     testcase_num, testcase_fname = testcase_info
+            +
                     puts "copy #{testcase_fname} to #{testcase_num}"
+            +
                     create_dir_if_not_exists("#{problem_dir}/test_cases/#{testcase_num}")
                     copy_testcase("#{testcase_dir}",testcase_fname,"#{problem_dir}/test_cases/#{testcase_num}",testcase_num)
+            +
                     num_testcases += 1
                   end
                 end
+            +
+            +   #also include any .txt files
+            +   Dir.glob("#{testcase_dir}/*.txt") do |file|
+            +     puts "copy data file #{file}"
+            +     FileUtils.cp(file,"#{problem_dir}")
+            +   end
+            +
                 # generating all_tests.cfg
                 puts "generating testcase config file"
+            +
                 template = File.open(SCRIPT_DIR + "/templates/all_tests.cfg.erb").read
                 all_test_cfg = ERB.new(template)
+            +
                 cfg_file = File.open("#{problem_dir}/test_cases/all_tests.cfg","w")
                 cfg_file.puts all_test_cfg.result binding
                 cfg_file.close
+            +
                 # copy check script
                 if res = /^wrapper:(.*)$/.match(check_script)
                   # wrapper script
                   check_script_fname = res[1]
                   script_name = File.basename(check_script_fname)
                   check_wrapper_template = File.open(SCRIPT_DIR + "/templates/check_wrapper").read
                   check_wrapper = ERB.new(check_wrapper_template)
+            +
                   check_file = File.open("#{problem_dir}/script/check","w")
                   check_file.puts check_wrapper.result binding
                   check_file.close
+            +
                   File.chmod(0755,"#{problem_dir}/script/check")
+            +
                   FileUtils.cp("#{check_script_fname}", "#{problem_dir}/script/#{script_name}")
                 else
                   if File.exists?(SCRIPT_DIR + "/templates/check.#{check_script}")
                     check_script_fname = SCRIPT_DIR + "/templates/check.#{check_script}"
                   else
                     check_script_fname = check_script
                   end
                   FileUtils.cp("#{check_script_fname}", "#{problem_dir}/script/check", :preserve => true)
                 end
+            +
                 # generating test_request directory
                 puts "generating test_request template"
                 FileUtils.mkdir_p("#{ev_dir}/test_request/#{problem}/script")
                 FileUtils.mkdir_p("#{ev_dir}/test_request/#{problem}/test_cases/1")
+            +
                 template = File.open(SCRIPT_DIR + "/templates/test_request_all_tests.cfg.erb").read
                 test_request_all_test_cfg = ERB.new(template)
+            +
                 cfg_file = File.open("#{ev_dir}/test_request/#{problem}/test_cases/all_tests.cfg","w")
                 cfg_file.puts test_request_all_test_cfg.result
                 cfg_file.close
+            +
                 FileUtils.cp("#{SCRIPT_DIR}/templates/check_empty",
                              "#{ev_dir}/test_request/#{problem}/script/check")
                 FileUtils.cp("#{SCRIPT_DIR}/templates/answer-1.txt",
                              "#{ev_dir}/test_request/#{problem}/test_cases/1")
+            +
                 puts "done"
               end
               SCRIPT_DIR = File.dirname(__FILE__)
               # print usage
               if (ARGV.length < 3) or (ARGV[2][0,1]=="-")
                 print_usage
                 exit(127)
               end
               # processing arguments
               problem = ARGV[0]
               testcase_dir = ARGV[1]
               problem = File.basename(testcase_dir) if problem=="-"
               check_script = ARGV[2]
               options = {:time_limit => 1,  :mem_limit => 16}
               process_options(options)
               JUDGE_ENVIRONMENTS.each do |env|
                 ev_dir = ENV_INFO[env][:ev_dir]
                 raw_prefix = ENV_INFO[env][:raw_prefix]
                 num_testruns = count_testruns(testcase_dir,raw_prefix)
                 puts ""
                 puts "*** Environment: #{env} (#{num_testruns} test runs) ***"
                 puts ""
                 import_problem(ev_dir,
                                problem,
                                testcase_dir,
                                num_testruns,
                                raw_prefix,
                                check_script,
                                options)
               end

installer/install.sh ¶ +3 -2

               #!/bin/sh
               echo "This script will install and configure Cafe grader."
               RUBY_VERSION=2.1.2
               echo "This will install Ruby $RUBY_VERSION under RVM"
               echo "Installing required apts"
               sudo apt-get update
               sudo apt-get install mysql-server mysql-client \
-            -   g++ gcc apache2 libmysqlclient15-dev build-essential \
+            +   g++ gcc apache2 libmysqlclient20 build-essential \
                 git-core openssl libreadline6 libreadline6-dev \
                 zlib1g zlib1g-dev libssl-dev libyaml-dev libsqlite3-dev \
                 sqlite3 libxml2-dev libxslt-dev autoconf libc6-dev \
                 ncurses-dev automake libtool bison subversion \
-            -   pkg-config curl nodejs unzip pyflakes ruby default-jdk
+            +   pkg-config curl nodejs unzip pyflakes ruby default-jdk \
+            +   libmysqld-dev mercurial python-setuptools python-dev python3-numpy
               echo "Installing RVM"
               curl -k -L https://get.rvm.io | bash -s stable
               source ~/.rvm/scripts/rvm
               echo "Installing Ruby $RUBY_VERSION in RVM"
               rvm install $RUBY_VERSION
               rvm use $RUBY_VERSION
               echo "Fetching Cafe Grader from Git repositories"
               echo "Fetching web interface"
               mkdir cafe_grader
               cd cafe_grader
               git clone -q git://github.com/jittat/cafe-grader-web.git web
               echo "Configuring rails app"
               cp web/config/application.rb.SAMPLE web/config/application.rb
               cp web/config/initializers/cafe_grader_config.rb.SAMPLE web/config/initializers/cafe_grader_config.rb
               #replace UTC in application.rb with the system timezone
               timezone='UTC'
               if [ -f '/etc/timezone' ]; then
                 timezone=\"`cat /etc/timezone`\"
               else
                 if [ -f '/etc/sysconfig/clock' ]; then
                   timezone=`grep -e '^TIMEZONE' /etc/sysconfig/clock | grep -o -e '\".*\"'`
                 fi
               fi
               replace="s!'UTC'!$timezone!g"
               sed -i $replace web/config/application.rb
               echo "At this point we will need MySQL user and database."
               echo "Have you created MySQL user and database for Cafe grader? (Y/N) "
               read ch
               if [ "$ch" = "n" -o "$ch" = "N" ]
               then
                 echo "Please open another terminal and create the user and database for Cafe grader."
                 echo "Don't forget to grant access to that database for the user."
                 echo "Please have username, password, and database name ready before continue."
                 echo
                 echo "The following are instructions:"
                 echo "1. Run mysql:"
                 echo

rename_problem ¶ +2 -2

               #!/usr/bin/env ruby
               ENVIRONMENT_DIRS = ['ev', 'ev-exam']
               def config
                 Grader::Configuration.get_instance
               end
               def rename_problem(old_problem_name, new_problem_name)
-            -   if valid_problem_name(new_problem_name)
+            +   unless valid_problem_name(new_problem_name)
                   puts "Bad new problem name: #{new_problem_name}"
                   return
                 end
                 problem = Problem.find_by_name(old_problem_name)
                 if problem==nil
                   puts "Problem #{old_problem_name} does not exist."
                   return
                 end
                 puts "Problem: #{old_problem_name} -> #{new_problem_name}"
                 ENVIRONMENT_DIRS.each do |dir|
                   problem_dir = File.join(GRADER_ROOT,'..',dir,old_problem_name)
                   new_problem_dir = File.join(GRADER_ROOT,'..',dir,new_problem_name)
                   if FileTest.exists? problem_dir
                     puts "Moving #{problem_dir} to #{new_problem_dir}."
                     File.rename(problem_dir, new_problem_dir)
                     tr_problem_dir = File.join(GRADER_ROOT,'..',dir,
                                                'test_request',old_problem_name)
                     new_tr_problem_dir = File.join(GRADER_ROOT,'..',dir,
                                                    'test_request',new_problem_name)
                     File.rename(tr_problem_dir, new_tr_problem_dir)
                   end
                 end
                 problem.name = new_problem_name
                 problem.save
               end
               def usage
                 puts <<USAGE
               Usage:
                 rename_problem [old_name] [new_name]
               or
                 rename_problem -f [filename]
               When using with -f, that file should contain, for each line, the old
               problem name and its new name.
               This script should be called at the judge root dir where dirs 'ev' and
               'ev-exam' are.
               USAGE
               end
               def valid_problem_name(name)
                 if name.length==0:
                     return false
                 else
-            -     return !(/^[a-zA-Z0-9_\-]+$/ === name)
+            +     return (/^[a-zA-Z0-9_\-]+$/ === name)
                 end
               end
               if (ARGV.length!=2)
                 usage
                 exit(0)
               end
               if ARGV[0]=='-f' and !FileTest.exists?(ARGV[1])
                 puts "File #{ARGV[1]} does not exist."
                 usage
                 exit(0)
               end
               # load grader environment
               GRADER_ENV = 'grading'
               require File.join(File.dirname(__FILE__),'config/environment')
               # boot rails, to be able to rename the problem
               RAILS_ENV = config.rails_env
               require RAILS_ROOT + '/config/environment'
               if ARGV[0]!='-f'
                 old_problem_name = ARGV[0]
                 new_problem_name = ARGV[1]
                 rename_problem(old_problem_name, new_problem_name)
               else
                 lines = IO.readlines(ARGV[1])
                 lines.each do |line|
                   items = line.split
                   if items.length==2
                     old_name, new_name = items
                     rename_problem(old_name, new_name)
                   end
                 end
               end

std-script/box64-new.c ¶ +12

               /* 266 */ [ __NR_symlinkat ] = "symlinkat",
               /* 267 */ [ __NR_readlinkat ] = "readlinkat",
               /* 268 */ [ __NR_fchmodat ] = "fchmodat",
               /* 269 */ [ __NR_faccessat ] = "faccessat",
               /* 270 */ [ __NR_pselect6 ] = "pselect6",
               /* 271 */ [ __NR_ppoll ] = "ppoll",
               /* 272 */ [ __NR_unshare ] = "unshare",
               /* 273 */ [ __NR_set_robust_list ] = "set_robust_list",
               /* 274 */ [ __NR_get_robust_list ] = "get_robust_list",
               /* 275 */ [ __NR_splice ] = "splice",
               /* 276 */ [ __NR_tee ] = "tee",
               /* 277 */ [ __NR_sync_file_range ] = "sync_file_range",
               /* 278 */ [ __NR_vmsplice ] = "vmsplice",
               /* 279 */ [ __NR_move_pages ] = "move_pages",
               /* 280 */ [ __NR_utimensat ] = "utimensat",
               /* 281 */ [ __NR_epoll_pwait ] = "epoll_pwait",
               /* 282 */ [ __NR_signalfd ] = "signalfd",
               /* 283 */ [ __NR_timerfd_create ] = "timerfd_create",
               /* 284 */ [ __NR_eventfd ] = "eventfd",
               /* 285 */ [ __NR_fallocate ] = "fallocate",
               /* 286 */ [ __NR_timerfd_settime ] = "timerfd_settime",
               /* 287 */ [ __NR_timerfd_gettime ] = "timerfd_gettime",
               /* 288 */ [ __NR_accept4 ] = "accept4",
               /* 289 */ [ __NR_signalfd4 ] = "signalfd4",
               /* 290 */ [ __NR_eventfd2 ] = "eventfd2",
               /* 291 */ [ __NR_epoll_create1 ] = "epoll_create1",
               /* 292 */ [ __NR_dup3 ] = "dup3",
               /* 293 */ [ __NR_pipe2 ] = "pipe2",
               /* 294 */ [ __NR_inotify_init1 ] = "inotify_init1",
               /* 295 */ [ __NR_preadv ] = "preadv",
               /* 296 */ [ __NR_pwritev ] = "pwritev",
               /* 297 */ [ __NR_rt_tgsigqueueinfo ] = "rt_tgsigqueueinfo",
               /* 298 */ [ __NR_perf_event_open ] = "perf_event_open",
               /* 299 */ [ __NR_recvmmsg ] = "recvmmsg",
               /* 300 */ [ __NR_fanotify_init ] = "fanotify_init",
               /* 301 */ [ __NR_fanotify_mark ] = "fanotify_mark",
               /* 302 */ [ __NR_prlimit64 ] = "prlimit64",
               /* 303 */ [ __NR_name_to_handle_at ] = "name_to_handle_at",
               /* 304 */ [ __NR_open_by_handle_at ] = "open_by_handle_at",
               /* 305 */ [ __NR_clock_adjtime ] = "clock_adjtime",
               /* 306 */ [ __NR_syncfs ] = "syncfs",
               /* 307 */ [ __NR_sendmmsg ] = "sendmmsg",
               /* 308 */ [ __NR_setns ] = "setns",
               /* 309 */ [ __NR_getcpu ] = "getcpu",
               /* 310 */ [ __NR_process_vm_readv ] = "process_vm_readv",
               /* 311 */ [ __NR_process_vm_writev ] = "process_vm_writev",
               /* 312 */ [ __NR_kcmp ] = "kcmp",
               /* 313 */ [ __NR_finit_module ] = "finit_module",
+            + /* 314 */ [ __NR_sched_setattr ] = "sched_setattr",
+            + /* 315 */ [ __NR_sched_getattr ] = "sched_getattr",
+            + /* 316 */ [ __NR_renameat2 ] = "renameat2",
+            + /* 317 */ [ __NR_seccomp ] = "seccomp",
+            + /* 318 */ [ __NR_getrandom ] = "getrandom",
+            + /* 319 */ [ __NR_memfd_create ] = "memfd_create",
+            + /* 320 */ [ __NR_kexec_file_load ] = "kexec_file_load",
+            + /* 321 */ [ __NR_bpf ] = "bpf",
+            + /* 322 */ [ __NR_execveat ] = "execveat",
+            + /* 323 */ [ __NR_userfaultfd ] = "userfaultfd",
+            + /* 324 */ [ __NR_membarrier ] = "membarrier",
+            + /* 325 */ [ __NR_mlock2 ] = "mlock2",
               };
               #define NUM_SYSCALLS ARRAY_SIZE(syscall_names)
               #define NUM_ACTIONS (NUM_SYSCALLS+64)
               enum action {
                 A_DEFAULT,		// Use the default action
                 A_NO,			// Always forbid
                 A_YES,		// Always permit
                 A_FILENAME,		// Permit if arg1 is a known filename
                 A_ACTION_MASK = 15,
                 A_NO_RETVAL = 32,	// Does not return a value
                 A_SAMPLE_MEM = 64,	// Sample memory usage before the syscall
                 A_LIBERAL = 128,	// Valid only in liberal mode
                 // Must fit in a unsigned char
               };
               static unsigned char syscall_action[NUM_ACTIONS] = {
               #define S(x) [__NR_##x]
                   // Syscalls permitted for specific file names
                   S(open) = A_FILENAME,
                   S(creat) = A_FILENAME,
                   S(unlink) = A_FILENAME,
                   S(access) = A_FILENAME,
                   S(truncate) = A_FILENAME,
                   S(stat) = A_FILENAME,
                   S(lstat) = A_FILENAME,
                   S(readlink) = A_FILENAME,
               #ifndef CONFIG_BOX_USER_AMD64
                   S(oldstat) = A_FILENAME,
                   S(oldlstat) = A_FILENAME,
                   S(truncate64) = A_FILENAME,
                   S(stat64) = A_FILENAME,
                   S(lstat64) = A_FILENAME,
               #endif
                   // Syscalls permitted always
                   S(exit) = A_YES | A_SAMPLE_MEM,
                   S(read) = A_YES,
                   S(write) = A_YES,
                   S(close) = A_YES,
                   S(lseek) = A_YES,
                   S(getpid) = A_YES,
                   S(getuid) = A_YES,
                   S(dup) = A_YES,
                   S(brk) = A_YES,
                   S(getgid) = A_YES,
                   S(geteuid) = A_YES,

std-script/compile ¶ +20 -12

               #!/usr/bin/env ruby
               require 'fileutils'
               ##############################
               #
               # Standard Compile Script
               #
               # Supported compilers:
               #   gcc, g++, and fpc.
               #
               ##############################
               def talk(str='')
                 if ENV['TALKATIVE']!=nil
                   puts str
                 end
                 if ENV['GRADER_LOGGING']!=nil
                   log_fname = ENV['GRADER_LOGGING']
                   fp = File.open(log_fname,"a")
                   fp.puts("run: #{Time.new.strftime("%H:%M")} #{str}")
                   fp.close
                 end
               end
               C_COMPILER = "/usr/bin/gcc"
               CPLUSPLUS_COMPILER = "/usr/bin/g++"
               PASCAL_COMPILER = "/usr/bin/fpc"
               JAVA_COMPILER = "/usr/bin/javac"
               RUBY_INTERPRETER = "/usr/bin/ruby"
-            - PYTHON_INTERPRETER = "/usr/bin/python"
+            + PYTHON_INTERPRETER = "/usr/bin/python3"
               PYTHON_CHECKER = "/usr/bin/pyflakes"
               PHP_INTERPRETER = "/usr/bin/php"
+            + HASKELL_COMPILER = "/usr/bin/ghc"
               C_OPTIONS = "-O2 -s -static -std=c99 -DCONTEST -lm -Wall"
               CPLUSPLUS_OPTIONS = "-O2 -s -std=c++11 -static -DCONTEST -lm -Wall"
               PASCAL_OPTIONS = "-O1 -XS -dCONTEST"
               JAVA_OPTIONS = ""
               PYTHON_OPTIONS = ""
               PHP_OPTIONS = "-l"
+            + HASKELL_OPTIONS = ""
               # Check for the correct number of arguments. Otherwise, print usage.
               if ARGV.length == 0 or ARGV.length > 4
                 puts "Usage: compile <language> [<source-file>] [<output-file>] [<message-file>]"
                 puts
                 puts "<source-file>  is defaulted to \"source\"."
                 puts "<output-file>  is defaulted to \"a.out\"."
                 puts "<message-file> is defaulted to \"compiler_message\"."
                 puts
                 exit(127)
               end
               PARAMS = {
                 :source_file => [1,'source'],
                 :output_file => [2,'a.out'],
                 :message_file => [3,'compiler_message']
               }
               params = {}
               params[:prog_lang] = ARGV[0]
               PARAMS.each_key do |param_name|
                 index, default = PARAMS[param_name]
                 if ARGV.length > index
                   params[param_name] = ARGV[index]
                 else
                   params[param_name] = default
                 end
                 talk "#{param_name}: #{params[param_name]}"
               end
               # Remove any remaining output files or message files.
               if FileTest.exists? params[:output_file]
                 FileUtils.rm(params[:output_file])
               end
               if FileTest.exists? params[:message_file]
                 FileUtils.rm(params[:message_file])
               end
               # Check if the source file exists before attempt compiling.
               if !FileTest.exists? params[:source_file]
                 talk("ERROR: The source file does not exist!")
                 open(params[:message_file],"w") do |f|
                   f.puts "ERROR: The source file did not exist."
                 end
                 exit(127)
               end
               if params[:prog_lang]=='cpp'
                 command = "#{CPLUSPLUS_COMPILER} #{params[:source_file]} -o #{params[:output_file]} #{CPLUSPLUS_OPTIONS}"
                 system(command, err: params[:message_file])
               when "pas"
                 command = "#{PASCAL_COMPILER} #{params[:source_file]} -ooutpas #{PASCAL_OPTIONS}"
                 system(command,out: params[:message_file])
                 FileUtils.mv("output", params[:output_file])
               when "java"
                 #rename the file to the public class name
                 #get the class name
                 classname = 'DUMMY'
                 source = Array.new
                 File.foreach(params[:source_file],'r:UTF-8') do |line|
                   line.encode!('UTF-8','UTF-8',invalid: :replace, replace: '')
                   md = /\s*public\s*class\s*(\w*)/.match(line)
                   classname=md[1] if md
                   source << line unless line =~ /\s*package\s*\w+\s*\;/
                 end
                 File.open("#{classname}.java","w") do |file|
                   source.each do |s|
                     file.puts s
                   end
                 end
                 #system("cp #{params[:source_file]} #{classname}.java")
                 command = "#{JAVA_COMPILER} -encoding utf8 #{classname}.java"
                 system(command, err: params[:message_file])
                 if File.exists?(classname + ".class")
                   File.open(params[:output_file],"w") {|file| file.write("#{classname}")}
                 end
                 if classname == 'DUMMY'
                   File.open(params[:message_file],"w") {|file| file.write("Cannot find any public class in the source code\n")}
                 end
               when "ruby"
                 command = "#{RUBY_INTERPRETER} -c #{params[:source_file]}"
                 if system(command, err: params[:message_file])
                   File.open(params[:output_file],"w") do |out_file|
                     out_file.puts "#!#{RUBY_INTERPRETER}"
                     File.open(params[:source_file],"r").each do |line|
                       out_file.print line
                     end
                   end
                   File.chmod(0755, params[:output_file])
                 end
               when "python"
-            -   command = "#{PYTHON_CHECKER} #{params[:source_file]}"
+            +   #command = "#{PYTHON_CHECKER} #{params[:source_file]}"
-            -   if system(command, out: params[:message_file])
+            +   #if system(command, out: params[:message_file])
                   #compile to python bytecode
-            -     command = "#{PYTHON_INTERPRETER} -m py_compile #{params[:source_file]}"
+            +     command = "#{PYTHON_INTERPRETER} -c \"import py_compile; py_compile.compile('#{params[:source_file]}','#{params[:source_file]}c');\""
                   puts "compile: #{command}"
-            -     system(command)
+            +     system(command, err: params[:message_file])
-            -     puts "pwd: " + Dir.pwd
+            +     if FileTest.exists?("#{params[:source_file]}c")
-            -     Dir.new('.').each {|file| puts file}
+            +       puts "pwd: " + Dir.pwd
-            -     File.open(params[:output_file],"w") do |out_file|
+            +       Dir.new('.').each {|file| puts file}
-            -       out_file.puts "#!#{PYTHON_INTERPRETER} #{params[:source_file]}c"
+            +       File.open(params[:output_file],"w") do |out_file|
+            +         out_file.puts "#!#{PYTHON_INTERPRETER} #{params[:source_file]}c"
+            +       end
+            +       File.chmod(0755, params[:output_file])
+            +       FileUtils.cp("#{params[:source_file]}c",params[:output_file])
                   end
-            -     File.chmod(0755, params[:output_file])
+            +   #end
-            -     FileUtils.cp("#{params[:source_file]}c",params[:output_file])
-            -   end
               when "php"
                 command = "#{PHP_INTERPRETER} #{PHP_OPTIONS} #{params[:source_file]}"
                 if system(command, err: params[:message_file])
                   File.open(params[:output_file],"w") do |out_file|
                     out_file.puts "#!#{PHP_INTERPRETER}"
                     File.open(params[:source_file],"r").each do |line|
                       out_file.print line
                     end
                   end
                   File.chmod(0755, params[:output_file])
                 end
+            + when "haskell"
+            +   command = "#{HASKELL_COMPILER} #{params[:source_file]} -o #{params[:output_file]} #{HASKELL_OPTIONS}"
+            +   system(command, err: params[:message_file])
+            +
               else
                 talk("ERROR: Invalid language specified!")
                 open(params[:message_file],"w") do |f|
                   f.puts "ERROR: Invalid language specified!"
                 end
                 exit(127)
               end
               # Report success or failure.
               if FileTest.exists? params[:output_file]
                 talk "Compilation was successful!"
               else
                 talk "ERROR: Something was wrong during the compilation!"
               end

std-script/judge ¶ +7 -1

                 end
                 if ENV['GRADER_LOGGING']!=nil
                   log_fname = ENV['GRADER_LOGGING']
                   fp = File.open(log_fname,"a")
                   fp.puts("judge: #{Time.new.strftime("%H:%M")} #{str}")
                   fp.close
                 end
               end
               problem_home = ENV['PROBLEM_HOME']
               def execute(command, error_message="")
                 if not system(command)
                   msg = "ERROR: #{error_message}"
                   log msg
                   raise(msg)
                 end
               end
               def call_and_log(error_message)
                 begin
                   yield
                 rescue
                   msg = "ERROR: #{error_message}"
                   log msg
                   raise msg
                 end
               end
               def clear_and_create_empty_dir(dir)
                 FileUtils.rm_rf(dir, :secure => true)
                 call_and_log("Cannot make directory #{dir}.") { FileUtils.mkdir(dir) }
               end
               # ARGV[0] --- language
               # ARGV[1] --- program source file
               # ARGV[2] --- test result directory
               # ARGV[3] --- sandbox directory
               if ARGV.length < 2 || ARGV.length > 4
                 puts "Usage: judge <language> <program-source> [<test-result-directory>] [<sandbox-directory>]"
                 puts "  <sandbox-directory> is defaulted to ./sandbox"
                 puts "  <test-result-directory> is defaulted to ./test-result"
                 puts "WARNING: The judge script will forcefully create the (implicitly and explicitly) specified directories and remove anything inside it."
                 exit(127)
               end
               language = ARGV[0]
-            - if language != "c" && language != "c++" && language != "pas" && language != "java" && language != "ruby" && language != "python" && language != "php"
+            + if language != "c" && language != "c++" && language != "pas" && language != "java" && language != "ruby" && language != "python" && language != "php" && language != "haskell"
                 log "You specified a language that is not supported: #{language}."
                 exit(127)
               end
               source_file = ARGV[1]
               ENV['SOURCE_NAME'] = source_file
               if File.exist?(source_file) == false
                 log "The source file does not exist."
                 exit(127)
               end
               log "Making test result and sandbox directories..."
               current_dir = FileUtils.pwd
               current_dir.strip!
               if ARGV.length >= 3
                 test_result_dir = ARGV[2]
               else
                 test_result_dir = "#{current_dir}/test-result"
               end
               log "Test result directory: #{test_result_dir}"
               clear_and_create_empty_dir(test_result_dir)
               if ARGV.length >= 4
                 sandbox_dir = ARGV[3]
               else
                 sandbox_dir = "#{current_dir}/sandbox"
               end
               log "Sandbox directory: #{sandbox_dir}"
               clear_and_create_empty_dir(sandbox_dir)
               # Compile
               log
               log "Compiling..."
               call_and_log("Cannot copy the source file to #{sandbox_dir}") {
                 FileUtils.cp(source_file, sandbox_dir)
               }
               begin
                 Dir.chdir sandbox_dir
               rescue
                 log "ERROR: Cannot change directory to #{sandbox_dir}."
                 exit(127)
               end
               execute("#{problem_home}/script/compile #{language} #{source_file}", "Compilation error!")
               compile_message = open("compiler_message").read
               compile_message.strip!
               call_and_log("Cannot move the compiler message to #{test_result_dir}.") {
                 FileUtils.mv("compiler_message", test_result_dir)
               }
               if !FileTest.exist?("a.out")
                 log "Cannot compile the source code. See message in #{test_result_dir}/compile_message"
                 exit(127)
               else
                 call_and_log("Cannot move the compiled program to #{test_result_dir}") {
                   FileUtils.mv("a.out",test_result_dir)
                   if language == "java" then Dir["*.class"].each { |file| FileUtils.mv(file,test_result_dir)} end
                   if language == "python" then Dir["*.pyc"].each { |file| FileUtils.mv(file,test_result_dir)} end
                 }
                 FileUtils.rm_rf("#{sandbox_dir}/.")
               end
               require "#{problem_home}/script/test_dsl.rb"
               load "#{problem_home}/test_cases/all_tests.cfg"
               problem = Problem.get_instance
               if problem.well_formed? == false
                 log "The problem specification is not well formed."
                 exit(127)
               end
               # Doing the testing.
               (1..(problem.num_tests)).each do |test_num|
                 $stdout.print "[#{test_num}]"
                 $stdout.flush
                 log "Test number: #{test_num}"
                 call_and_log("Cannot copy the compiled program into #{sandbox_dir}") {
                   FileUtils.cp("#{test_result_dir}/a.out", sandbox_dir, :preserve => true)
                   if language == "java" then Dir["#{test_result_dir}/*.class"].each { |file| FileUtils.cp(file,sandbox_dir)} end
                   if language == "python" then Dir["#{test_result_dir}/*.pyc"].each { |file| FileUtils.cp(file,sandbox_dir)} end
                 }
+            +   #additionally copy any extra .txt file
+            +   data_files = Dir[problem_home + '/*.txt']
+            +   data_files.each do |file|
+            +     FileUtils.cp(file,sandbox_dir)
+            +   end
+            +
                 begin
                   execute("#{problem_home}/script/run #{language} #{test_num} ", "Error occured during execution of the run script")
                 rescue
                   # do nothing
                 end
                 call_and_log("Cannot create directory #{test_result_dir}/#{test_num}") {
                   FileUtils.mkdir "#{test_result_dir}/#{test_num}"
                 }
                 call_and_log("Cannot copy the result file into #{test_result_dir}/#{test_num}") {
                   FileUtils.mv "#{sandbox_dir}/result", "#{test_result_dir}/#{test_num}"
                 }
                 call_and_log("Cannot copy the comment file into #{test_result_dir}/#{test_num}") {
                   FileUtils.mv "#{sandbox_dir}/comment", "#{test_result_dir}/#{test_num}"
                 }
                 call_and_log("Cannot copy the output file into #{test_result_dir}/#{test_num}") {
                   FileUtils.mv "#{sandbox_dir}/output.txt", "#{test_result_dir}/#{test_num}"
                 }
                 call_and_log("Cannot clear #{sandbox_dir}") {
                   FileUtils.rm_rf(Dir.glob("#{sandbox_dir}/*"), :secure => true)
                 }
               end
               $stdout.print "[done]\n"
               # Grade
               log
               log "Grading..."
               begin
                 Dir.chdir test_result_dir
               rescue
                 log "ERROR: Cannot change directory to #{test_result_dir}."
                 exit(127)
               end
               execute("#{problem_home}/script/grade", "An error occured during grading!")
               log
               log "All done!"

std-script/run ¶ +6 -3

               require "#{problem_home}/script/test_dsl.rb"
               load "#{problem_home}/test_cases/all_tests.cfg"
               problem = Problem.get_instance
               sandbox_dir = Dir.getwd
               if problem.well_formed? == false
                 log "The problem specification is not well formed."
                 exit(127)
               end
               # Check if the test number is okay.
               if test_num <= 0 || test_num > problem.num_tests
                 log "You have specified a wrong test number."
                 exit(127)
               end
               #####################################
               # Set the relavant file names here. #
               #####################################
               input_file_name = "#{problem_home}/test_cases/#{test_num}/input-#{test_num}.txt"
               #####################################
               time_limit = problem.get_time_limit test_num
               mem_limit = problem.get_mem_limit(test_num) * 1024
               # Copy the input file.
               #`cp #{problem_home}/test_cases/#{test_num}/#{input_file_name} .`
               # check if box is there, if not, compile it!
               if !File.exists?("#{problem_home}/script/box")
                 log "WARNING: Compiling box: to increase efficiency, it should be compile manually"
                 compile_box("#{problem_home}/script/box.cc",
                             "#{problem_home}/script/box")
               end
               # Hide PROBLEM_HOME
               ENV['PROBLEM_HOME'] = nil
               ENV['SOURCE_NAME'] = nil
               # Run the program.
               #run_command = "/usr/bin/time -f \"#{time_output_format}\" 2>run_result #{problem_home}/script/box_new -a 2 -f -t #{time_limit} -m #{mem_limit} -i #{input_file_name} -o output.txt #{program_name}"
               #
               JAVA_OPTION = "-s set_robust_list -s futex -s clone -s getppid -s clone -s wait4 -p /usr/bin/ -p ./"
               RUBY_OPTION   = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /lib64/ -p /dev/urandom -p #{sandbox_dir}/#{program_name} -p #{sandbox_dir}/ -s set_robust_list -s sched_getaffinity -s clock_gettime -s sigaltstack -s pipe2 -s clone -s futex -s openat -s pipe"
-            - PYTHON_OPTION = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /usr/bin/ -p /lib64/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p #{sandbox_dir}/#{source_name} -s set_robust_list -s openat -s recvmsg -s connect -s socket -s sendto -s futex -E PYTHONNOUSERSITE=yes"
+            + PYTHON_OPTION = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /usr/bin/ -p /lib64/ -p /dev/urandom -p /usr/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p #{sandbox_dir}/#{source_name} -p /proc/sys/crypto/fips_enabled -p /proc/self/status -p /proc/mounts -p /var/lib/dpkg/status -s statfs -s set_robust_list -s openat -s sysinfo -s recvmsg -s connect -s socket -s sendto -s futex -s sigaltstack -s getrandom -E PYTHONNOUSERSITE=yes"
               PHP_OPTION = "-p /usr/lib64/ -p/lib64/ -p /usr/bin/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p /usr/share/ -s setfsuid -s setfsgid -s openat -s set_robust_list -s futex -s clone -s socket -s connect"
+            + HASKELL_OPTION = "-s set_robust_list -s clock_gettime -s sysinfo -s timer_create -s timer_settime -s futex -s timer_delete"
               case language
                 when "java"
                   # for java, extract the classname
                   # wne have to add additional systemcall and we don't check the mem limit (dunno how to fix...)
                   classname = 'DUMMY'
                   File.open(program_name,"r").each do |line|
                     classname = line
                   end
                   #for java, we cannot really check the memory limit...
                   run_command = "#{problem_home}/script/box -a 3 -f -T -t #{time_limit} #{JAVA_OPTION} -i #{input_file_name} -o output.txt /usr/bin/java -A -Xmx#{mem_limit}k -A #{classname} "
                 when "ruby"
                   run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{mem_limit} #{RUBY_OPTION} -i #{input_file_name} -o output.txt /usr/bin/ruby #{program_name} "
                 when "python"
-            -     run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{mem_limit} #{PYTHON_OPTION} -i #{input_file_name} -o output.txt /usr/bin/python #{program_name} "
+            +     run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128 * 1024,mem_limit].max} #{PYTHON_OPTION} -i #{input_file_name} -o output.txt /usr/bin/python3 #{program_name} "
+            +   when "haskell"
+            +     run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{[512 * 1024,mem_limit].max} #{HASKELL_OPTION} -i #{input_file_name} -o output.txt #{program_name} "
                 when "php"
-            -     run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128*1024,mem_limit].max} #{PHP_OPTION} -i #{input_file_name} -o output.txt /usr/bin/php -A -d -A memory_limit=#{mem_limit}k -A #{program_name} "
+            +     run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128 * 1024,mem_limit].max} #{PHP_OPTION} -i #{input_file_name} -o output.txt /usr/bin/php -A -d -A memory_limit=#{mem_limit}k -A #{program_name} "
                 else # for c++, pascal, we do the normal checking
                   run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{mem_limit} -i #{input_file_name} -o output.txt #{program_name} "
               end
               log "Running test #{test_num}..."
               log run_command
               log
               system(run_command,err: 'run_result')
               # Restore PROBLEM_HOME
               ENV['PROBLEM_HOME'] = problem_home
               # Create the result file.
               result_file = File.new("result", "w")
               comment_file = File.new("comment", "w")
               # Check if the program actually produced any output.
               run_result_file = File.new("run_result", "r")
               run_result = run_result_file.readlines
               run_result_file.close
               run_stat = run_result[run_result.length-1]
               running_time = extract_time(run_stat)
               report = lambda{ |status, points, comment|
                 result_file.write status.strip
                 result_file.write "\n"
                 result_file.write points.to_s.strip
                 result_file.write "\n"
                 result_file.write run_stat.strip
                 result_file.write "\n"
                 result_file.close
                 FileUtils.rm "run_result"
                 # `rm output.txt`   --- keep the output
                 comment_file.write comment
                 # added for debuggin --- jittat
                 comment_file.write "--run-result--\n"
                 run_result.each do |l|
                   comment_file.write l
                 end
                 comment_file.close
                 log "Done!"
                 exit(0)

templates/check.float ¶ +13 -4

               problem_home = ENV['PROBLEM_HOME']
               require "#{problem_home}/script/test_dsl.rb"
               if ARGV.length < 2
                 puts "Usage: check <language> <test-number> [<output-file>]"
                 exit(0)
               end
               language = ARGV[0]
               test_num = ARGV[1].to_i
               if ARGV.length >= 3
                 output_file_name = ARGV[2]
               else
                 output_file_name = "output.txt"
               end
               load "#{problem_home}/test_cases/all_tests.cfg"
               problem = Problem.get_instance
               output_file = File.new(output_file_name, "r")
               answer_file = File.new("#{problem_home}/test_cases/#{test_num}/answer-#{test_num}.txt")
               result_file = File.new("check_result", "w")
               output_file_content = output_file.read
               answer_file_content = answer_file.read
               report_correct = lambda {
                 result_file.write "Correct\n"
                 result_file.write problem.get_score(test_num)
                 result_file.write "\n"
                 result_file.close
                 exit(0)
               }
               report_wrong = lambda {
                 result_file.write "Incorrect\n"
                 result_file.write "0\n"
                 result_file.close
                 exit(0)
               }
               ##################
               # Your code here #
               ##################
               ########### THIS IS FOR CHECKING FLOAT with EPSILON error ##########
+            +
+            + def is_float?(fl)
+            +   !!Float(fl) rescue false
+            + end
+            +
               EPSILON = 0.000001
               out_items = output_file_content.split
               ans_items = answer_file_content.split
               if out_items.length != ans_items.length
                 report_wrong.call
               else
                 out_items.length.times do |i|
-            -     out_value = out_items[i].to_f
+            +     if is_float?(out_items[i]) && is_float?(ans_items[i])
-            -     ans_value = ans_items[i].to_f
+            +       out_value = out_items[i].to_f
-            -     if (out_value - ans_value).abs > EPSILON * [out_value.abs,ans_value.abs].max
+            +       ans_value = ans_items[i].to_f
-            -       report_wrong.call
+            +       if (out_value - ans_value).abs > EPSILON * [out_value.abs,ans_value.abs].max
+            +         report_wrong.call
+            +       end
+            +     else
+            +       report_wrong.call if out_items[i] != ans_items[i]
                   end
                 end
                 report_correct.call
               end

Write
Preview

You need to be logged in to leave comments. Login now

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository permissions settings

Sign in to your account

Author

r263:7950cf0bb006 - Sat, 17 Jun 2017 06:22:31 - 12 files changed: 448 inserted, 40 deleted

Sign in to your account

Commit r263:7950cf0bb006 public

Author

r263:7950cf0bb006 - Sat, 17 Jun 2017 06:22:31 - 12 files changed: 448 inserted, 40 deleted

Commit `r263:7950cf0bb006` public