mesenev/cats-judge

Automated judging system for programming contests

Automated judging system for programming contests

cats-judge can be used either as a component of CATS contest control system or as a standalone command-line application for both competitors and problem authors.

Licensed under GPL v2 or later, see COPYING file.

Features

For competitors:

• Explore different solutions for a problem by running various combinations of solutions and tests.
• Debug your solution without the need for constant web UI access.

For problem authors:

• Compare different partial solutions to choose time and memory limits.
• Increase you efficiency by accessing the power of command line.
• Use with git or any other version control system to develop programming problems in a modern workflow.
• Conveniently upload your problem into contest control system when it is ready.

Prerequisites

cats-judge requires Perl 5.12 or later and git of any version.

Current version supports various Windows flavors, from Windows XP to Windows 10. Other platforms are currently in experimental state. Some features may be missing or unstable.

Nevertheless, cats-judge was at least lightly tested on Debian, Red Hat, Ubuntu, OS X and OpenBSD.

It is recommended to use Strawberry Perl distribution on Windows, but Active State Perl was also reported to be working.

At least some programming languages, such as C++ and Pascal should be installed to actually judge solutions.

Installation

• Clone this repository
• To install development environments and tools on Windows or Linux, run scripts in install directory
• Make sure your perl and git are in PATH
• Run perl install.pl
• See Advanced installation in case of problems

Usage

This covers using cats-judge as a command-line utility. To use as a judging server, refer to cats-main documentation.

It is recommended to run cats-judge via starting script which is located in either cmd/j.cmd or cmd/j.sh depending on the platform. Subdirectory cmd should be added to PATH during installation, so a typical command line invocation should look like

j <command> <options>

All commands and options may be abbreviated. Options may start from either single or double dash.

install command

Install problem for future solving. Installation includes following steps:

• check problem cache
• parse problem description
• compile all sources
• generate test files
• run standard solution to get test answers
• cache tests and executables
• export modules

Options:

• --problem <zip_or_directory_or_name> required
• --force-install install problem even if it is already cached

Example:

j install --problem aplusb.zip --force-install

Install problem from file aplusb.zip, ignore cache.

j i -p .

Install problem from the current directory.

run command

Run one or more problem solutions. Running includes following steps:

• install problem as per install command
• detect compiler/interpreter (aka development environment)
• compile and lint solution
• run solution on problem tests
• display results

Options:

• --problem <zip_or_directory_or_name> required
• --run <source_file> required. Path to solution source. May be repeated.
• --de <de_code> enforce development environment. By default development environment is detected by file extension.
• --force-install install problem even if it is already cached
• --testset <testset> test only on a subset of tests. By default all tests are used.
• --result text|html|none display results in a given format. Format text (default) displays ASCII table on console. Format html saves report in html file. Format none does not display results.
• --use-plan all|acm choose order and subset of tests according to a given plan.

Config variables:

• columns a string of R, V, P, T, M, W, C, O characters, representing a subset and order of columns in result.

Examples:

j run -problem A.zip -run mysolution.py

Test solution mysolution.cpp for problem A.zip. Solution is probably written in Python.

j run -p . -run good.cpp -run bad.cpp -c columns=RV

Test two solutions for a problem located in the current directory, display only test number and judge verdict for each test.

j run -p B.zip -run sol.pas -t 1,3,12-15 -format=polygon

Test solution sol.pas for a Polygon-style problem. Run only tests 1, 3, 12, 13, 14 and 15.

j run -p B.zip -run sol.cpp -de 102

Enforce GCC compiler for solution.

list command

List available problems from web-based contest control system. Request credentials if needed.

Options:

• --url <url> required
• --system cats|polygon use given Web API. By default system is detected based on URL prefix.

download command

Download problem from web-based contest control system. Request credentials if needed.

Options:

• --problem <zip_or_directory_or_name> required
• --url <url> required
• --system cats|polygon use given Web API. By default system is detected based on URL prefix.

upload command

Upload problem to web-based contest control system. Request credentials if needed.

Options:

• --problem <zip_or_directory_or_name> required
• --url <url> required
• --system cats|polygon use given Web API. By default system is detected based on URL prefix.

config command

Work with configuration.

Options:

• --print <regexps> print configuration. Regexps are used to filter config keys. Multiple regexps separated by slash (/) correspond to nesting levels.
• --bare print values without names and extra spaces.
• --apply <string> substitute configuration defines in a given string.

Examples:

j config --print def_DEs

Display default development environment codes for each extension.

j conf -p url

Display contest control system URL prefixes.

j co -p defines/#javac$ -b

Display path to Java compiler.

clear-cache command

Remove problem from the cache. Note that if the problem exports some modules, they will become orphaned and may break dependent problems.

Options:

• --problem <zip_or_directory_or_name> required

serve command

Start judging server. On Windows it is recommended to use judge.cmd wrapper script. On Linux it is recommended to use judge.sh wrapper script.

help command

Display basic usage.

Common options

• --config-file <name> use given file instead of config/main.xml.
• --config-set <name>=<value> ... set configuration value before running the command. For example

  j run -p A.zip -run a.cpp -config-set rundir=./tmp
  

• --db import modules from database
• --format cats|polygon use given problem format. Default is cats.
• --verbose display additional debug info

Configuration

Configuration is located in config directory. It is loaded starting from config/main.xml file. This file references other files, which are loaded in order. If the same configuration value is defined in multiple files, the latest definition wins.

Configuration files are split into local and global ones. Local files are autodetect.xml, local.xml and local_devenv.xml and contain changes specific to the current installation. Global files are under the version control and should apply to any cats-judge installation. It is recommended to change configuration by modifying local files unless you plan to push your changes upstream.

Attribute values can contain variables, denoted by % sign, e.g. %test_input. Attribute values can contain defines, denoted by # sign, e.g. #gnu_cpp. There are special defines: #rootdir contains a path to cats-judge installation, #platform contains detected platform name, #env:name contains a value of the environment variable name.

Files contain:

• autodetect.xml paths to compilers / development environments, as well as enabled flags for them.
• default.xml default simple values.
• devenv.xml description of compilers / development environments.
• local.xml local defines, for example judge name and password.
• local_devent.xml local changes for compilers / development environments, for example non-standard options or judge-unique development environment.
• main.xml references to other configuration files.
• platform.???.xml platform-specific configuration, for example non-portable compilers.

Available tags:

• compile defines compilation resource limits.
• de describes compilers / development environments.
• default_limits defines default resource limits, to be overridden by problem.
• define declares that name should be replaced by value in the attributes.
• include loads extra configuration from file.
• judge is a top-level tag.
• security defines passwords.

Advanced installation

Antivirus

Since cats-judge creates, copies and removes multiple executables in the course of operation, it may conflict with some antivirus software.

Usually conflicts are manifested by slow testing (several seconds per test) and/or intermittent error messages.

You may want to exclude cats-judge directory from antivirus monitoring.

Perl modules

Installation script checks for availability of some Perl modules, subdivided into required and optional categories.

Absence of any required module will not allow cats-judge to run at all.

Absence of an optional module will result in some capability reduction. For example, without WWW::Mechanize module Polygon backend will fail, but all other features should still work.

Tests

Tests should be run after installation. To run all tests, execute prove -r t from the top level directory. Some tests (for example judge.t), if given command-line argument, run only subtests with names containing this argument as a substring.

Installation options

Installation script performs some complex operations, which may require manual intervention. Script has following command line options:

• --step <N>... may be repeated. Perform only given steps of installation. By default, all steps are performed. Run perl install.pl -s 99 to see a list of steps without running any.
• --bin <download[:version[:remote-repository]]|build>] Spawner binary source. By default, uses tagged release from Spawner submodule repo.
• --devenv <devenv-filter> only detect development environments containing given string. By default, all known environments are detected.
• --modules <modules-filter> only install modules containing given string. By default, all modules are installed.
• --verbose display additional debug info