no parser time out for erroneous file
no parser time-out for .str file that is in fact an aterm file.
Submitted by Maartje on 23 September 2011 at 18:40
Attachments
Issue Log
On 23 September 2011 at 18:41 Maartje tagged error_recovery
On 5 October 2011 at 11:47 Lennart Kats tagged parser
On 5 October 2011 at 11:47 Lennart Kats removed tag error_recovery
On 8 January 2013 at 14:54 Eelco Visser tagged sdf
On 8 January 2013 at 14:54 Eelco Visser tagged error_recovery
Log in to post comments