Skip to main content

No project description provided

Project description

online-judge-tools/verification-helper

Actions Status GitHub Pages PyPI LICENSE

README 日本語バージョン

What is this?

This is a tool to easily automate the verify process of your code library for competitive programming.

How to use

Set up the repository for the library

Please read this: https://online-judge-tools.github.io/verification-helper/installer.html

Running the program

Installation

$ pip3 install online-judge-verify-helper

Python 3.6 or above is required.

Automating the verification

First, specify the problem URL to be used to verify the library in the file including .test. in its path (e.g. for C++, write #define PROBLEM "https://judge.yosupo.jp/problem/unionfind" in a file like example.test.cpp; see the reference for other languages). Then, run the following command to check if the verification can be performed.

$ oj-verify run

Currently, problems on Library Checker and Aizu Online Judge are supported. For the details, see the reference.

Autoexpansion of #includes

The include statements in your files in the form of #include "foo.hpp" can be expanded, similar to the functionality provided by webpack for JavaScript. This is to solve the problems that most online judges do not support submitting multiple files. The function can be used by running the following command:

$ oj-bundle main.cpp

If your competitive programming library resides outside the current directory, please specify the flag in the form of -I path/to/your/library. I recommend make shell aliases like alias oj-bundle='\oj-bundle -I path/to/your/library'.

Include guards like #pragma once are partially supported. If you have files that will be included multiple times but you only want them to appear once in the generated code, add #pragma once to the first line of the files.

Generating Documentation

Run the following command to generate documentation in .verify-helper/markdown/. Example: https://online-judge-tools.github.io/verification-helper/ GitHub Pages

$ oj-verify docs

If documentation generators like Doxygen are found when generating documentation, they will be automatically used. TeX expressions like $(N \sum_i A_i)$ are also supported by the MathJax library. For the details, see the reference.

Tips

  • If you cannot find problems to verify your library, you can refer to other users' libraries. You can find all users of online-judge-verify-helper at https://github.com/search?q=online-judge-verify-helper+path%3A.github.
  • If you cannot find problems to verify your library anywhere, we suggest that you add a problem to Library Checker. You can use Hello World as a dummy problem to run your own stress tests.
  • You do not need to display the MIT License if you call online-judge-verify-helper from GitHub Actions (Details, in Japanese).
  • This is tool to efficiently verify your library, not to check or prettify your code. If you need such functions, you can try formatters like clang-format or linters like cppcheck.

Authors

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

online_judge_verify_helper-5.6.0-py3-none-any.whl (57.4 kB view details)

Uploaded Python 3

File details

Details for the file online_judge_verify_helper-5.6.0-py3-none-any.whl.

File metadata

  • Download URL: online_judge_verify_helper-5.6.0-py3-none-any.whl
  • Upload date:
  • Size: 57.4 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.4.1 importlib_metadata/4.3.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.0 CPython/3.9.5

File hashes

Hashes for online_judge_verify_helper-5.6.0-py3-none-any.whl
Algorithm Hash digest
SHA256 215ae717dc7d038125ee23791340472eef366e760f3bddd0186dcdca69834b8d
MD5 2cab2e6b550c17e877405ee0fbf783a1
BLAKE2b-256 4050f38aa04c199ae17c316539b1282495d7df6491a05ba28f4f10fbef6461ab

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page