Merge pull request #387 from online-judge-tools/atcoder

Allow users to use AtCoder's system cases

Author: kmyk

.verify-helper/docs/static/document.ja.md

@@ -113,6 +113,7 @@ verification_file_suffix = ".test.sed"
 | [Library Checker](https://judge.yosupo.jp/) | |
 | [Aizu Online Judge](https://onlinejudge.u-aizu.ac.jp/home) | |
 | [HackerRank](https://www.hackerrank.com/) | たぶん動きますが保証はしません。 |
+| [AtCoder](https://atcoder.jp) | 環境変数 `DROPBOX_TOKEN` の設定が必要です。突然動かなくなる可能性があります。 |
 | [yukicoder](https://yukicoder.me) | 環境変数 `YUKICODER_TOKEN` の設定が必要です。[ヘルプ - yukicoder](https://yukicoder.me/help) の「ログインしてないと使えない機能をAPIとして使いたい」の節や [暗号化されたシークレットの作成と利用 - GitHub ヘルプ](https://help.github.com/ja/actions/configuring-and-managing-workflows/creating-and-storing-encrypted-secrets#creating-encrypted-secrets) 参考にして設定してください。 |
 
 これらの他サービスはテストケースを利用できる形で公開してくれていないため利用できません。

.verify-helper/docs/static/document.md

@@ -112,6 +112,7 @@ verification_file_suffix = ".test.sed"
 | [Library Checker](https://judge.yosupo.jp/) | |
 | [Aizu Online Judge](https://onlinejudge.u-aizu.ac.jp/home) | |
 | [HackerRank](https://www.hackerrank.com/) | |
+| [AtCoder](https://atcoder.jp) | You must set the `DROPBOX_TOKEN` environment variable. It may suddenly stop working. |
 | [yukicoder](https://yukicoder.me) | You must set the `YUKICODER_TOKEN` environment variable. See 「ログインしてないと使えない機能をAPIとして使いたい」 in [ヘルプ - yukicoder](https://yukicoder.me/help) and [Creating and using encrypted secrets - GitHub Help](https://help.github.com/en/actions/configuring-and-managing-workflows/creating-and-storing-encrypted-secrets). |
 
 Other judging platforms do not currently publish the test cases in usable forms, and so are not currently supported.

onlinejudge_verify/verify.py

@@ -79,6 +79,8 @@ def verify_file(path: pathlib.Path, *, compilers: List[str], tle: float, jobs: i
         exec_command(['sleep', '2'])
         command = ['oj', 'download', '--system', '-d', str(directory / 'test'), '--silent', url]
 
+        if os.environ.get('DROPBOX_TOKEN'):
+            command += ['--dropbox-token', os.environ['DROPBOX_TOKEN']]
         if os.environ.get('YUKICODER_TOKEN'):
             command += ['--yukicoder-token', os.environ['YUKICODER_TOKEN']]
         try:

setup.py

@@ -13,7 +13,7 @@
     install_requires=[
         'colorlog',
         'pyyaml',
-        'online-judge-tools >= 8.0.0',
+        'online-judge-tools >= 11.3.0',
         'setuptools',
         'toml',
         'importlab',