/tutorial/hello_world.e
http://github.com/tybor/Liberty · Specman e · 22 lines · 9 code · 3 blank · 10 comment · 0 complexity · f9d45b04b4e4c6f0f1a0de19b2b86a9c MD5 · raw file
- class HELLO_WORLD
- --
- -- The "Hello World" example.
- --
- -- To compile type command: se c hello_world
- --
- -- Then, run the generated executable file named "a.out" or "hello_world.exe"
- -- depending of your favorite operating system / C-compiler.
- --
- -- To compile an optimized version type : se c hello_world -boost -O2
- --
- create {ANY}
- main
- feature {ANY}
- main
- do
- io.put_string("Hello World.%N")
- end
- end -- class HELLO_WORLD