Support for Statix tests about spoofax-pie

[AZWN]

is the extension for those kind of files .stxtest

Yes

and are those valid Statix files

Yes

And is the output also valid Statix?

The output of the evaluation strategy can be pretty-printed as Statix, but is not parsable. Also, the stxresult extension is not recognized as a Statix file extension. There have been plans to make these files parsable, but there is no implementation of that yet. (EDIT: perhaps the best approach for now is to treat them as plain-text files)

[Gohla]

@AZWN is the extension for those kind of files .stxtest, and are those valid Statix files (i.e., parseable by statix.lang)? And is the output also valid Statix?

[Gohla]

Implemented as part of 62ea9a4 and metaborg/nabl@aeb8d09, to be released in the next release.