/test/language/unclassified/wj/aux_wj02a1.e

http://github.com/tybor/Liberty · Specman e · 11 lines · 8 code · 3 blank · 0 comment · 0 complexity · f18b33c7a284d5492d1fef12abdd1121 MD5 · raw file

  1. class AUX_WJ02A1
  2. inherit
  3. AUX_WJ02A0
  4. rename x0 as x1
  5. end
  6. create {ANY}
  7. make
  8. end -- class AUX_WJ02A1