Test annotation must be provided on the line as last decorator

[marcoeilers]

Originally reported by: Vytautas Astrauskas (Bitbucket: vakaras, GitHub: vakaras)

---

The test annotation ExpectedOutput must be provided on the same line as the last decorator, which is not very readable:

#!python

from py2viper_contracts.contracts import *


@Pure
@ContractOnly  #:: ExpectedOutput(type.error:Encountered Any type. Type annotation missing?)
def read_int_io():
    pass

---

• Bitbucket: https://bitbucket.org/viperproject/py2viper-translation/issue/39