/test/language/unclassified/wj/test_wj02.e
http://github.com/tybor/Liberty · Specman e · 18 lines · 14 code · 3 blank · 1 comment · 1 complexity · 8f8c255f0b2c74c190cf3e50884b5137 MD5 · raw file
- class TEST_WJ02
- -- From: Gabriel Weißelberg <gabriel.weisselberg@brokat-le.com>
- create {}
- make
- feature {}
- make
- local
- a: AUX_WJ02A1; c: AUX_WJ02C1
- do
- create a.make("a")
- create c
- if c.output(a) /= Void then
- end
- end
- end -- class TEST_WJ02