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')
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)
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)
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
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
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])
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)
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)
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
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)
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)
def Main(): calculate1() print("calculate1 done") #testlistremove() print("testlistremove done")