eiffelstudio-public - Revision 107750: /branches/eth/eve/Src/examples/Eiffel2JavaScript/translator_test/language/assertions
..
assertions_a.e
assertions_b.e
test_assertions.e