Bug #4820
Updated by Alexander Kamkin over 10 years ago
Test programs should be started with the following prefix (or the like):
<pre>
This test program has been automatically generated by MicroTESK
Generation has been started at 02/04/2014 15:27
Institute for System Programming of the Russian Academy of Sciences (ISPRAS)
25, Alexander Solzhenitsyn st., Moscow, 109004, Russia
http://forge.ispras.ru/projects/microtesk
</pre>