| Alex Light | f1f1049 | 2015-10-07 16:08:36 -0700 | [diff] [blame] | 1 | Create Main instance |
| 2 | Calling functions on concrete Main | ||||
| 3 | Calling verifiable function on Main | ||||
| 4 | Hello | ||||
| 5 | Calling unverifiable function on Main | ||||
| 6 | Expected NSME Thrown on Main | ||||
| 7 | Calling verifiable function on Main | ||||
| 8 | Hello | ||||
| 9 | Calling functions on interface Iface | ||||
| 10 | Calling verifiable function on Iface | ||||
| 11 | Hello | ||||
| 12 | Calling unverifiable function on Iface | ||||
| 13 | Expected NSME Thrown on Iface | ||||
| 14 | Calling verifiable function on Iface | ||||
| 15 | Hello | ||||