[gobo-eiffel-develop] Assertion checking with ISE 6.1

[Colin P. A. <co...@co...>]

Caution!

It appears geant test/compile_debug_ise does NOT result in
any assertion checking.

I'm cleaning my code now as a result of this discovery.
-- 
Colin Adams
Preston Lancashire