> -- Александр Ильин писал(а):
> Текстовый файл превращается в исходный текст модуля на Обероне, который при запуске выдаёт этот текст. Затем для проверки модуль компилируется, запускается, и выдача сравнивается с первоначальным файлом. Вылезают отличия в переводах строк и табуляциях.То есть нужно, чтобы модуль на Обероне выдавал плёвывал в точности этот текст?
Куда он его должен выдавать?

Если нужно зашить текст в виде цепочек литер, то опять же непонятно, в чем проблема: читая исходный тхт-файл мы же способны отфильтровать все спецсимволы, и зашить их в программу на Обероне соотв. образом. Не обязательно в виде литерных цепочек.