文本文件  |  16行  |  399 B

Create Main instance
Calling functions on concrete Main
Calling verifiable function on Main
Hello
Calling unverifiable function on Main
Expected NSME Thrown on Main
Calling verifiable function on Main
Hello
Calling functions on interface Iface
Calling verifiable function on Iface
Hello
Calling unverifiable function on Iface
Expected NSME Thrown on Iface
Calling verifiable function on Iface
Hello