examples/rust/crates/helloworld/world/src/lib.rs

• View this file on GitHub
• Last update: 2023-12-09 20:36:27+09:00

Required by

• examples/rust/src/lib.rs

Verified with

• examples/rust/verification/src/bin/aizu-online-judge-itp1-1-a.rs
• examples/rust/verification/src/bin/library-checker-aplusb.rs

Code

//! Provides `"World"`.

pub static WORLD: &str = "World";

Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.10/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
  File "/home/runner/.local/lib/python3.10/site-packages/onlinejudge_verify/languages/rust.py", line 288, in bundle
    raise NotImplementedError
NotImplementedError

Back to top page