verify/str/merged_static_string.nim

This documentation is automatically generated by online-judge-tools/verification-helper

:warning: verify/str/merged_static_string.nim

Depends on

Code

# verification-helper: PROBLEM https://onlinejudge.u-aizu.ac.jp/problems/ITP1_1_A
echo "Hello World"

include cplib/tmpl/sheep
import cplib/str/static_string
import cplib/str/merged_static_string
import std/random
randomize()
for _ in 0..<1000:
    var rawstr = newseqwith(10,"ab"[rand(0..<2)]).join("")
    var X = rawstr.toStaticString()

    var tmp : seq[StaticString]
    var naive : string
    for i in range(30):
        var l = rand(0..<len(rawstr))
        var r = rand(l..<len(rawstr))
        tmp.add(X[l..r])
        naive &= rawstr[l..r]

    var A = tmp.initMergedStaticString()

    for l in range(len(A)):
        for r in range(l,len(A)):
            assert $(A[l..r]) == naive[l..r]

    assert len(A) == len(naive)

    for i in range(len(naive)):
        assert naive[i] == A[i]

    for i in range(100):
        var tmp2 : MergedStaticString
        var naive2 : string
        var tmp3 : MergedStaticString
        var naive3 : string

        for i in range(rand(0..50)):
            var l = rand(0..<len(rawstr))
            var r = rand(l..<len(rawstr))
            tmp2 &= X[l..r]
            naive2 &= rawstr[l..r]
        for i in range(rand(0..50)):
            var l = rand(0..<len(rawstr))
            var r = rand(l..<len(rawstr))
            tmp3 &= X[l..r]
            naive3 &= rawstr[l..r]
            
        assert cmp(tmp3,tmp2) == sgn(cmp(naive3,naive2))
        assert $tmp2 == naive2
        assert $tmp3 == naive3
        assert cmp(tmp2,tmp2) == 0
Traceback (most recent call last):
  File "/home/runner/.local/lib/python3.12/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.12/site-packages/onlinejudge_verify/languages/nim.py", line 86, in bundle
    raise NotImplementedError
NotImplementedError
Back to top page