Download of traffic_light_example.zip (traffic_light_example.zip ( external link: SF.net): 4,677 bytes) will begin shortly. If not so, click link on the left.
A testing framework, like JUnit - but better, for Eiffel.