def Main():
    s = "@abcd@efg@hijklmn@op@q@rst@uvwxy@z@"
    res = split(s, '@')
    for i in res:
        print(i)

    VaasAssert(len(res) == 8)
    VaasAssert(res[0] == 'abcd')
    VaasAssert(res[1] == 'efg')
    VaasAssert(res[2] == 'hijklmn')
    VaasAssert(res[3] == 'op')
    VaasAssert(res[4] == 'q')
    VaasAssert(res[5] == 'rst')
    VaasAssert(res[6] == 'uvwxy')
    VaasAssert(res[7] == 'z')

    s = "111@222j#@38u23@sfsdka@jjasdj@"
    res = split(s, '@')
    for i in res:
        print(i)

    VaasAssert(len(res) == 5)
    VaasAssert(res[0] == '111')
    VaasAssert(res[1] == '222j#')
    VaasAssert(res[2] == '38u23')
    VaasAssert(res[3] == 'sfsdka')
    VaasAssert(res[4] == 'jjasdj_add')
示例#2
0
def main():
    a = 7
    b = 5
    x = 5
    c = a if x > 3 else b
    VaasAssert(c == a + 1)
    print(c)

    a = 6
    b = 5
    x = 4
    c = a if x > 3 and x < 7 else b
    VaasAssert(c == a + 1)
    print(c)

    a = 6
    b = 5
    x = 7
    c = a if x > 3 and x < 7 else b
    VaasAssert(c == b + 1)
    print(c)

    a = 6
    b = 5
    x = 6
    c = add(a) if x > 3 and x < 7 else b
    print(c)
    VaasAssert(c == add(a) + 1)

    a = 6
    b = 5
    x = 7
    c = add(a) if x > 3 and x < 7 else transfer(b)
    print(c)
    VaasAssert(c == transfer(b) + 1)
示例#3
0
def Main():
    a = b'\x01\xef\xab\xcd\x23\x45\xff\xfe\xef\xed\xdc\xba\xa9\xf9\xe9\x9a\x9f\x9e\x99\x8e\x00\x01\x02\x10\x11\x1a\xa1\xff\xf1\xf0\xf0'
    res = bytes2hexstring(a, 1)
    VaasAssert(
        res ==
        '01EFABCD2345FFFEEFEDDCBAA9F9E99A9F9E998E00010210111AA1FFF1F0F0_ADD')
    res_b = hexstring2bytes(res)
    VaasAssert(res_b == a)

    res = bytes2hexstring(a, 0)
    VaasAssert(
        res ==
        '01efabcd2345fffeefeddcbaa9f9e99a9f9e998e00010210111aa1fff1f0f0_ADD')
    res_b = hexstring2bytes(res)
    VaasAssert(res_b == a)

    a = b'\x1c\x7f\x04\x4f\x56\x78\x65\x6e\x36\x8c\x6e\x84\xf0\x48\xc6\xc3\xfd\x69\x5c\x14'
    res = bytes2hexstring(a, 1)
    VaasAssert(res == '1C7F044F5678656E368C6E84F048C6C3FD695C14')
    res_b = hexstring2bytes(res)
    VaasAssert(res_b == a)

    res = bytes2hexstring(a, 0)
    VaasAssert(res == '1c7f044f5678656e368c6e84f048c6c3fd695c14')
    res_b = hexstring2bytes(res)
    VaasAssert(res_b == a)
    print(res)
示例#4
0
def Div(a, b):
    """
    Integer division of two numbers, truncating the quotient.
    """
    print(a)
    print(b)
    tt = Require(b > 0)
    c = a / b
    return c
def main():
    operation = 'add'
    inor = 888
    if elt_in(['add', 'sub', 'mul'], operation):
        inor = 1
        print("in ")
    else:
        inor = 0
        print("not in")

    VaasAssert(inor == 1 + 1)
def Main():
    """

    :param fibnumber:
    :return:
    """
    fibnumber = 20
    fibresult = fibR(fibnumber)
    VaasAssert(fibresult == 6765 + 1)
    print(fibresult)

    return fibresult
示例#7
0
def main():
    a = [0, 1, 2, 3, 4]
    a.reverse()
    VaasAssert(a[0] == 4)
    VaasAssert(a[1] == 3)
    VaasAssert(a[2] == 2)
    VaasAssert(a[3] == 1)
    VaasAssert(a[4] == 0)

    print("print reverse")
    printlist(a)
    print("print revesed")
    printlist(reversed(a))

    VaasAssert(a[0] == 0)
    VaasAssert(a[1] == 1)
    VaasAssert(a[2] == 2)
    VaasAssert(a[3] == 3)
    VaasAssert(a[4] == 4 + 1)
def Main():

    j = 10

    d = {
        'a': 1,
        'b': 4,
        4: 'blah',
        'm': j,
        'z': [1, 3, 4, 5, 'abcd', j],
        'mcalll': mymethod(1, 4)
    }

    j4 = d['mcalll']

    k = j4 + d['z'][3]
    VaasAssert(k == 10 + 1)
    print(k)

    return True
示例#9
0
def main():
    a = 1
    d = 4
    c = 3
    b = 2
    t = state(a, b, c, d)
    VaasAssert(t[0] == 1)
    VaasAssert(t[1] == 2)
    VaasAssert(t[2] == 3)
    VaasAssert(t[3] == 4 + 5)
    print(t[0])
    print(t[1])
    print(t[2])
    print(t[3])
示例#10
0
def main():
    m = 999
    a = [1, 2, 3, 4, 5]
    c = [1, 2, 3, 4, 5]
    b = a
    if a is not b:
        m = 1
        print(" a is not b")
    else:
        m = 0
        print("a is b")

    VaasAssert(m == 0 + 1)
    m = 999

    if a is c:
        m = 1
        print("a is c")
    else:
        m = 0
        print("a is not c")

    VaasAssert(m == 0 + 1)
示例#11
0
def Main():
    """
    hellllllll
    """

    #items = [0, 1, 2,3,4,5,6,7,8,9]
    #items0 = [0, 1, 2,3,4,5,6,7,8,9]
    items = range(0, 10)
    items0 = range(0, 10)

    count = 0

    for i in items:
        items0[i] += items[i]

    for i in items0:
        count += 1
        print(i)

    print("count")
    print(count)
    VaasAssert(count == 10 + 1)
示例#12
0
def main():
    a = '-012345'
    b = int(a, 10)
    VaasAssert(b == -12345)
    a = '12345'
    b = int(a, 10)
    print(b)
    VaasAssert(b == 12345)

    a = '123456789000000000000'
    b = int(a, 10)
    print(b)
    VaasAssert(b == 123456789000000000000)

    a = 'abcdef123'
    b = int(a, 16)
    print(b)
    VaasAssert(b == 0xabcdef123)

    a = '-abcdef123'
    b = int(a, 16)
    print(b)
    VaasAssert(b == -0xabcdef123)

    a = '1234ab789ef543cd'
    b = int(a, 16)
    print(b)
    VaasAssert(b == 0x1234ab789ef543cd)

    a = '-1234ab789ef543cd'
    b = int(a, 16)
    print(b)
    VaasAssert(b == -0x1234ab789ef543cd)

    a = '145c69fdc3c648f0846e8c366e6578564f047f1c'
    b = int(a, 16)
    print(b)
    VaasAssert(b == 0x145c69fdc3c648f0846e8c366e6578564f047f1c)

    a = 'ABCdEf123'
    b = int(a, 16)
    print(b)
    VaasAssert(b == 0xaBcDEF123)

    a = '-AbDdEF123'
    b = int(a, 16)
    print(b)
    VaasAssert(b == -0xabddeF123)

    a = '1234Ab789eF543cd'
    b = int(a, 16)
    print(b)
    VaasAssert(b == 0x1234ab789ef543cd)

    a = '-1234aB789ef543cd'
    b = int(a, 16)
    print(b)
    VaasAssert(b == -0x1234ab789ef543cd)

    a = '145C69fdc3c648F0846e8C366e6578564f047F1C'
    b = int(a, 16)
    print(b)
    VaasAssert(b == 0x145c69fdc3c648f0846e8c366e6578564f047f1c + 1)
def main():
    a = 2
    b = 4
    t = 0
    if a == 2 or (a == 5 and b == 4)  or a == 3 and a == 7:
        t = 1
        print("or in")
    else:
        t = 2
        print("or not in")

    VaasAssert(t == 1)


    a = 5
    b = 4
    if a == 2 or (a == 5 and b == 4)  or a == 3 and a == 7:
        t = 3
        print("or in")
    else:
        t = 4
        print("or not in")

    VaasAssert(t == 3)

    a = 3
    b = 1000
    if a == 2 or (a == 5 and b == 4)  or a == 3 and a == 7:
        t = 5
        print("or in")
    else:
        t = 6
        print("or not in")

    VaasAssert(t == 6)

    
    a = 9
    if (a == 2 or (a == 5 and b == 4)  or a == 3 and a == 7 )or a == 9:
        t = 7
        print("or in")
    else:
        t = 8
        print("or not in")
    VaasAssert(t == 7)


    a = 7
    if (a == 2 or (a == 5 and b == 4)  or a == 3 and a == 7 )or a == 9:
        t = 9
        print("or in")
    else:
        t = 10
        print("or not in")

    VaasAssert(t == 10)

    a = 10

    if a == 2 or (a == 5 and b == 4)  or (a == 3 and a == 7) or a == 9 or a == 10:
        t = 11
        print("or in")
    else:
        t = 12
        print("or not in")

    VaasAssert(t == 11)

    a = 8
    b = 4

    if a == 2 or (a == 5 and b == 4)  or a == 3 and a == 7:
        t = 13
        print("or in")
    else:
        t = 14
        print("or not in")

    VaasAssert(t == 14)

    a = 5
    b = 4

    if a == 2 or (a == 5 and b == 4)  or a == 3 and a == 7:
        t = 15
        print("or in")
    else:
        t = 16
        print("or not in")

    VaasAssert(t == 15 + 1)
    print("bool test ok")
def Main():
    a = 12345678987654321
    s_a = str(a, 10)
    VaasAssert(s_a == '12345678987654321')

    a = 9797589374729374982374981794371294719827439827491793749173491784712
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '9797589374729374982374981794371294719827439827491793749173491784712')

    a = 1378937591759175934898096347592347591789571970179179010971947
    s_a = str(a, 10)
    VaasAssert(
        s_a == '1378937591759175934898096347592347591789571970179179010971947')

    a = 13789375917591759348980963475923475917895719701791790109719477
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '13789375917591759348980963475923475917895719701791790109719477')

    a = 137893759175917593489809634759234759178957197017917901097194777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '137893759175917593489809634759234759178957197017917901097194777')

    a = 1378937591759175934898096347592347591789571970179179010971947777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '1378937591759175934898096347592347591789571970179179010971947777')

    a = 13789375917591759348980963475923475917895719701791790109719477777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '13789375917591759348980963475923475917895719701791790109719477777')

    a = 137893759175917593489809634759234759178957197017917901097194777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '137893759175917593489809634759234759178957197017917901097194777777')

    a = 1378937591759175934898096347592347591789571970179179010971947777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '1378937591759175934898096347592347591789571970179179010971947777777')

    a = 13789375917591759348980963475923475917895719701791790109719477777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '13789375917591759348980963475923475917895719701791790109719477777777')

    a = 137893759175917593489809634759234759178957197017917901097194777777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '137893759175917593489809634759234759178957197017917901097194777777777'
    )

    a = 1378937591759175934898096347592347591789571970179179010971947777777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '1378937591759175934898096347592347591789571970179179010971947777777777'
    )

    a = 13789375917591759348980963475923475917895719701791790109719477777777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '13789375917591759348980963475923475917895719701791790109719477777777777'
    )

    a = 13789375917591759348980963475923475917895719701791790109719477777777777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '13789375917591759348980963475923475917895719701791790109719477777777777777'
    )

    a = 137893759175917593489809634759234759178957197017917901097194777777777777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '137893759175917593489809634759234759178957197017917901097194777777777777777'
    )

    a = 1378937591759175934898096347592347591789571970179179010971947777777777777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '1378937591759175934898096347592347591789571970179179010971947777777777777777'
    )

    a = 13789375917591759348980963475923475917895719701791790109719477777777777777777
    s_a = str(a, 10)
    VaasAssert(
        s_a ==
        '13789375917591759348980963475923475917895719701791790109719477777777777777777'
    )

    a = 0x123456789abcdef
    s_a = str(a, 16)
    VaasAssert(s_a == '123456789abcdef')

    a = 0x1234567890abcdef0123456789abcdef0123456789abcdef0123456789abcdef
    s_a = str(a, 16)
    VaasAssert(
        s_a ==
        '1234567890abcdef0123456789abcdef0123456789abcdef0123456789abcdef_add')

    print(s_a)
def Main():

    a = 3

    b = 2

    m = 12

    if not a == b:  # this currently works
        print("a not equal to b!!!")
        m = 21

    #VaasAssert(m == 21 + 1)

    if a != b:

        print("numbers 2 and 3 are not equal")
        m = 82

    #VaasAssert(m == 82 + 1 + 1)

    j = 'hello'
    k = 'hello'

    if j != k:

        print("string j is not equal to string k")
        m = 1

    else:
        m = 2

        print("string j is equal to string k")
    #VaasAssert(m == 2 + 1)

    q = bytearray(b'\x10\x01\x80')
    q2 = bytearray(b'\x10\x10\x80')

    if q != q2:
        m = 3
        print("bytearrays m and m2 not equal")

    else:
        m = 4

        print("bytearrays m and m2 are equal")
    #VaasAssert(m == 3 + 1)

    return m
示例#16
0
def printlist(l):
    for i in l:
        print(i)
def Main():
    a = "145c69fdc3c648f0846e8c366e6578564f047f1c"
    b = hexstring2bytes(a)
    VaasAssert(
        b ==
        b'\x14\x5c\x69\xfd\xc3\xc6\x48\xf0\x84\x6e\x8c\x36\x6e\x65\x78\x56\x4f\x04\x7f\x1c\xFF'
    )

    c = bytearray_reverse(b)
    VaasAssert(len(c) == 20)
    VaasAssert(
        c ==
        b'\x1c\x7f\x04\x4f\x56\x78\x65\x6e\x36\x8c\x6e\x84\xf0\x48\xc6\xc3\xfd\x69\x5c\x14'
    )

    a = 'aCe4702454c48f3EA430f6d52815318669B3818c'
    b = hexstring2bytes(a)
    VaasAssert(
        b ==
        b'\xac\xe4\x70\x24\x54\xc4\x8f\x3e\xa4\x30\xf6\xd5\x28\x15\x31\x86\x69\xb3\x81\x8c'
    )

    c = bytearray_reverse(b)
    VaasAssert(len(c) == 20)
    VaasAssert(
        c ==
        b'\x8c\x81\xb3\x69\x86\x31\x15\x28\xd5\xf6\x30\xa4\x3e\x8f\xc4\x54\x24\x70\xe4\xac'
    )

    a = '2d1c6ed6e2cF9f1857ea0294eAad57098961432f'
    b = hexstring2bytes(a)
    VaasAssert(
        b ==
        b'\x2d\x1c\x6e\xd6\xe2\xcf\x9f\x18\x57\xea\x02\x94\xea\xad\x57\x09\x89\x61\x43\x2f'
    )

    c = bytearray_reverse(b)
    VaasAssert(
        c ==
        b'\x2f\x43\x61\x89\x09\x57\xad\xea\x94\x02\xea\x57\x18\x9f\xcf\xe2\xd6\x6e\x1c\x2d'
    )

    a = 'a5813809fe3a573d43d83B1cb1ab88a9f69e2a07'
    b = hexstring2bytes(a)
    VaasAssert(
        b ==
        b'\xa5\x81\x38\x09\xfe\x3a\x57\x3d\x43\xd8\x3b\x1c\xb1\xab\x88\xa9\xf6\x9e\x2a\x07'
    )

    a = '3459e97812aDc6457a502a20ec1aa01deeef9724'
    b = hexstring2bytes(a)
    VaasAssert(
        b ==
        b'\x34\x59\xe9\x78\x12\xad\xc6\x45\x7a\x50\x2a\x20\xec\x1a\xa0\x1d\xee\xef\x97\x24'
    )

    a = 'ecb6502e1d7fec4b3d5cd9a0440a67b45061f847'
    b = hexstring2bytes(a)
    VaasAssert(
        b ==
        b'\xec\xb6\x50\x2e\x1d\x7f\xec\x4b\x3d\x5c\xd9\xa0\x44\x0a\x67\xb4\x50\x61\xf8\x47'
    )

    a = 'c3a9b151901993d8649af8e176f8064b63f67f34'
    b = hexstring2bytes(a)
    VaasAssert(
        b ==
        b'\xc3\xa9\xb1\x51\x90\x19\x93\xd8\x64\x9a\xf8\xe1\x76\xf8\x06\x4b\x63\xf6\x7f\x34'
    )

    a = '60c56b6a00527ac46a51527ac409746573746e616d65306a52527ac46a00c30f4d696772617465436f6e74726163749c6440006a51c3c0519e642b000b706172616d206572726f72681553797374656d2e52756e74696d652e4e6f7469667961006c7566616a51c300c365cf006c7566616a00c3037075749c6409006530006c7566616a00c3036765749c6409006567006c7566616a00c3046e616d659c6409006a52c36c756661006c756655c56b034b45596a00527ac4681953797374656d2e53746f726167652e476574436f6e74657874616a00c30281035272681253797374656d2e53746f726167652e50757461516c756654c56b034b45596a00527ac4681953797374656d2e53746f726167652e476574436f6e74657874616a00c37c681253797374656d2e53746f726167652e476574616c756656c56b6a00527ac46a00c351046e616d650776657273696f6e06617574686f7205656d61696c0b6465736372697074696f6e56795179587275517275557952795772755272755479537956727553727568194f6e746f6c6f67792e436f6e74726163742e4d69677261746561144d696772617465207375636365737366756c6c7951c176c9681553797374656d2e52756e74696d652e4e6f7469667961516c7566'
    b = hexstring2bytes(a)
    VaasAssert(
        b ==
        b'\x60\xc5\x6b\x6a\x00\x52\x7a\xc4\x6a\x51\x52\x7a\xc4\x09\x74\x65\x73\x74\x6e\x61\x6d\x65\x30\x6a\x52\x52\x7a\xc4\x6a\x00\xc3\x0f\x4d\x69\x67\x72\x61\x74\x65\x43\x6f\x6e\x74\x72\x61\x63\x74\x9c\x64\x40\x00\x6a\x51\xc3\xc0\x51\x9e\x64\x2b\x00\x0b\x70\x61\x72\x61\x6d\x20\x65\x72\x72\x6f\x72\x68\x15\x53\x79\x73\x74\x65\x6d\x2e\x52\x75\x6e\x74\x69\x6d\x65\x2e\x4e\x6f\x74\x69\x66\x79\x61\x00\x6c\x75\x66\x61\x6a\x51\xc3\x00\xc3\x65\xcf\x00\x6c\x75\x66\x61\x6a\x00\xc3\x03\x70\x75\x74\x9c\x64\x09\x00\x65\x30\x00\x6c\x75\x66\x61\x6a\x00\xc3\x03\x67\x65\x74\x9c\x64\x09\x00\x65\x67\x00\x6c\x75\x66\x61\x6a\x00\xc3\x04\x6e\x61\x6d\x65\x9c\x64\x09\x00\x6a\x52\xc3\x6c\x75\x66\x61\x00\x6c\x75\x66\x55\xc5\x6b\x03\x4b\x45\x59\x6a\x00\x52\x7a\xc4\x68\x19\x53\x79\x73\x74\x65\x6d\x2e\x53\x74\x6f\x72\x61\x67\x65\x2e\x47\x65\x74\x43\x6f\x6e\x74\x65\x78\x74\x61\x6a\x00\xc3\x02\x81\x03\x52\x72\x68\x12\x53\x79\x73\x74\x65\x6d\x2e\x53\x74\x6f\x72\x61\x67\x65\x2e\x50\x75\x74\x61\x51\x6c\x75\x66\x54\xc5\x6b\x03\x4b\x45\x59\x6a\x00\x52\x7a\xc4\x68\x19\x53\x79\x73\x74\x65\x6d\x2e\x53\x74\x6f\x72\x61\x67\x65\x2e\x47\x65\x74\x43\x6f\x6e\x74\x65\x78\x74\x61\x6a\x00\xc3\x7c\x68\x12\x53\x79\x73\x74\x65\x6d\x2e\x53\x74\x6f\x72\x61\x67\x65\x2e\x47\x65\x74\x61\x6c\x75\x66\x56\xc5\x6b\x6a\x00\x52\x7a\xc4\x6a\x00\xc3\x51\x04\x6e\x61\x6d\x65\x07\x76\x65\x72\x73\x69\x6f\x6e\x06\x61\x75\x74\x68\x6f\x72\x05\x65\x6d\x61\x69\x6c\x0b\x64\x65\x73\x63\x72\x69\x70\x74\x69\x6f\x6e\x56\x79\x51\x79\x58\x72\x75\x51\x72\x75\x55\x79\x52\x79\x57\x72\x75\x52\x72\x75\x54\x79\x53\x79\x56\x72\x75\x53\x72\x75\x68\x19\x4f\x6e\x74\x6f\x6c\x6f\x67\x79\x2e\x43\x6f\x6e\x74\x72\x61\x63\x74\x2e\x4d\x69\x67\x72\x61\x74\x65\x61\x14\x4d\x69\x67\x72\x61\x74\x65\x20\x73\x75\x63\x63\x65\x73\x73\x66\x75\x6c\x6c\x79\x51\xc1\x76\xc9\x68\x15\x53\x79\x73\x74\x65\x6d\x2e\x52\x75\x6e\x74\x69\x6d\x65\x2e\x4e\x6f\x74\x69\x66\x79\x61\x51\x6c\x75\x66'
    )

    a = '00000000007fec4b3d5cd9a0440a670000000000'
    b = hexstring2bytes(a)
    print(b)
    VaasAssert(
        b ==
        b'\x00\x00\x00\x00\x00\x7f\xec\x4b\x3d\x5c\xd9\xa0\x44\x0a\x67\x00\x00\x00\x00\x00'
    )
    VaasAssert(len(b) == 20)
示例#18
0
def Main():
    i = 0
    j = 0
    k = 0
    h = 0
    s = 0
    while i < 500:
        if i > 80:
            break

        while j < 10:
            if j == 8:
                break
            while k < 20:
                if k == 11:
                    i = i + k
                    k = k + 3
                    continue
                k = k + 1
            j = j + 1

        i = i + j + k

        while h < 30:
            print("in last while")
            h = h + 1
            s = s + h
            s = s * h
            if h == 25:
                h = h + 2
                continue
            s = s / h

        i = i + h

        items = range(3, 100)

        items2 = ['a', 'b', 'c', 'd']
        count = 0

        for x in items:  # 3
            print("1 level")

            count = count + 1

            for y in items2:  # 4
                print("2 level")

                count = count + 1
                if count > 20:
                    print("for 2 level break")
                    break

                for z in items:  # 3
                    print("3 level")
                    if count > 5:
                        print("for 3 level continue")
                        continue
                    count = count + 1

                count = count + 2

            if count > 60:
                print("for 1 level break")
                break

        i = i + count + s

    print(i)  # i = 8343
    VaasAssert(i == 8343 + 1)
示例#19
0
def Main():
    calculate1()
    print("calculate1 done")
    #testlistremove()
    print("testlistremove done")