Debugger interest only below this line *
Debugger interest only below this line *
(icodeTest: StringAdd).self
(icodeTest: StringFormat).self
(icodeTest: ArrowAssoc[IcodeTest]).x
(Since version 2.10.0) Use leftOfArrow
instead
(icodeTest: Ensuring[IcodeTest]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A trait for testing icode. All you need is this in a partest source file:
And then the generated output will be the icode for everything in that file. See source for possible customizations.