note description: "Result of an incomplete/aborted verification." date: "$Date$" revision: "$Revision$" class E2B_INCONCLUSIVE_RESULT inherit E2B_FAILED_VERIFICATION redefine single_line_message end create make feature -- Display single_line_message (a_formatter: TEXT_FORMATTER) -- do a_formatter.add (locale.translation_in_context ("Inconclusive result (verifier timed out).", once "tool.auto_proof.result")) end end