/test/language/unclassified/pr1/test.e

http://github.com/tybor/Liberty · Specman e · 25 lines · 14 code · 4 blank · 7 comment · 0 complexity · 982a895ea6d454f4697c82ac75d89195 MD5 · raw file

  1. class TEST
  2. -- As of 2011-10-05 this test will run fine when compiled "plainly", i.e. with "compile test"
  3. -- When issuing "compile -boost test" or any other compiling flag it fails with something like:
  4. -- test1.c: In function ‘se_ms’:
  5. -- test1.c:3288:2: error: ‘T7’ has no member named ‘_storage_lower’
  6. -- test1.c: In function ‘se_string’:
  7. -- test1.c:3299:2: error: ‘T7’ has no member named ‘_storage_lower’
  8. creation make
  9. feature
  10. make is
  11. -- Testing
  12. do
  13. create a; create b; create c
  14. a.foo
  15. b.foo
  16. c.foo
  17. end
  18. a: A
  19. b: B
  20. c: C
  21. end