verification-helper

This is a demo site of documents generated by online-judge-tools/verification-helper.

Links

• GitHub repository
• Getting Started
• Reference

Library Files

Examples2/Haskell

• Examples2/Haskell/HelloWorld.hs

examples/awk

• examples/awk/circle.awk

examples/csharpscript

• examples/csharpscript/helloworld.csx
• examples/csharpscript/segment_tree.csx

examples/debug/a/b/c

• examples/debug/a/b/c/foo.hpp

examples/debug/d/e/f/g

• examples/debug/d/e/f/g/foo.hpp

examples/debug

• examples/debug/failed_to_bundle.hpp
• examples/debug/not_verified.hpp
• examples/debug/relative_path.hpp

examples/debug/h/i/j/k/l

• examples/debug/h/i/j/k/l/foo.hpp

examples/go/helloworld

• examples/go/helloworld/helloworld.go

examples/go

• examples/go/helloworld.go

examples/java

• examples/java/HelloWorld.java

examples

• examples/macros.hpp
• examples/monoids.hpp
• Segment Tree (generalized with monoids) (examples/segment_tree.hpp)
• a Union-Find Tree (examples/union_find_tree.hpp)

examples/nim

• examples/nim/headers.nim
• examples/nim/hoge.nim
• examples/nim/union_find_tree.nim

examples/python

• examples/python/hello_world.py
• examples/python/union_find.py

examples/rust/crates/helloworld/hello/src

• examples/rust/crates/helloworld/hello/src/lib.rs

examples/rust/crates/helloworld/world/src

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

examples/rust/crates/io/input/src

• examples/rust/crates/io/input/src/lib.rs

examples/rust/crates/io/scanner/src

• examples/rust/crates/io/scanner/src/lib.rs

examples/rust/src

• examples/rust/src/lib.rs

Verification Files

Examples2/Haskell

• Examples2/Haskell/HelloWorld.test.hs

.

• example.test.cpp

examples/awk

• examples/awk/circle.test.awk

examples/csharpscript

• examples/csharpscript/helloworld.test.csx
• examples/csharpscript/segment_tree.point_set_range_composite.test.csx
• examples/csharpscript/segment_tree.range_minimum_query.test.csx
• examples/csharpscript/segment_tree.range_sum_query.test.csx

examples/debug

• examples/debug/gcc_only.test.cpp
• examples/debug/include_relative.test.cpp
• examples/debug/precision.test.cpp
• examples/debug/relative_path.test.cpp
• examples/debug/yukicoder.test.cpp

examples/go

• examples/go/helloworld.test.go

examples/java

• examples/java/HelloWorld_test.java

examples/nim

• examples/nim/union_find_tree_aoj_test.nim
• examples/nim/union_find_tree_yosupo_test.nim

examples/python

• examples/python/hello_world.test.py
• examples/python/union_find_aoj.test.py
• examples/python/union_find_yosupo.test.py

examples/rust/verification/src/bin

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

examples

• examples/segment_tree.point_set_range_composite.test.cpp
• examples/segment_tree.range_minimum_query.test.cpp
• examples/segment_tree.range_sum_query.test.cpp
• examples/union_find_tree.aoj.test.cpp
• examples/union_find_tree.yosupo.test.cpp