[Termtools] starexec introduces noise, results in ERROR

[Carsten Fuhs]

Dear all,

The output reported by StarExec begins as follows:

---- snip ----

rm: cannot remove ‘/tmp/muTerm5117023052084420925.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm5117023052084420925.in.form’: No such file or directory
rm: cannot remove ‘/tmp/muTerm5726603361159126505.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm5726603361159126505.in.form’: No such file or directory
rm: cannot remove ‘/tmp/muTerm9398195822001100545.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm9398195822001100545.in.form’: No such file or directory
rm: cannot remove ‘/tmp/muTerm6105154341585990364.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm6105154341585990364.in.form’: No such file or directory
rm: cannot remove ‘/tmp/muTerm7523927541474612399.in.dec’: No such file or directory
rm: cannot remove ‘/tmp/muTerm7523927541474612399.in.form’: No such file or directory
YES

Problem 1: 

(VAR v_NonEmpty:S x1:S)

---- snap ---

I believe the issue is that StarExec redirects stdout and stderr (where the error messages by 'rm' go) to the same output stream, which likely leads to the lines before 'YES'. In case the 'rm' instructions are part of muTerm's start script, modifying the script to use 'rm -f' instead of 'rm' should suppress the error messages.

Best regards,

  Carsten

On 23.06.20 09:21, Johannes Waldmann wrote:
> Dear all,
> 
> muterm is losing a YES here (SRS standard, ICFP_2010/213537 )
> 
> https://www.starexec.org/starexec/secure/details/pair.jsp?id=487085940
> 
> It looks like starexec is introducing noise in the output
> (after the tool is run)
> so the post-processor does not detect the answer.
> 
> - J.
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
> 

-- 
Carsten Fuhs
Birkbeck, University of London
Department of Computer Science and Information Systems
http://www.dcs.bbk.ac.uk/~carsten/