examples/python/sum_reverse.py

def sum_reverse (l):
    #@ ensures result == 0
    l2 = l.copy()
    l2.reverse()
    t = 0
    for i in range (len(l)):
        #@ invariant t == 0
        t += l[i]
        t -= l2[-(i+1)]
    return t
Python: Added examples - New examples using the new syntax (+=, ...) - New examples using the new methods (.pop(), .append(), ...) - Update old examples with assignement operators (+=, ...) 2021-06-23 17:45:21 +02:00			`def sum_reverse (l):`
			`#@ ensures result == 0`
			`l2 = l.copy()`
			`l2.reverse()`
			`t = 0`
			`for i in range (len(l)):`
			`#@ invariant t == 0`
			`t += l[i]`
			`t -= l2[-(i+1)]`
			`return t`