Re: XRM 59: Add (buggy) support for PCTL/CSL formulas.
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
Index: tests/pctl/man_examples.pctl --- tests/pctl/man_examples.pctl (revision 0) +++ tests/pctl/man_examples.pctl (revision 0)
Isn't this the kind of situation where you are expected to use their parsing test suite tool?
On 2006-06-12, Akim Demaille <akim@lrde.epita.fr> wrote:
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
Index: tests/pctl/man_examples.pctl --- tests/pctl/man_examples.pctl (revision 0) +++ tests/pctl/man_examples.pctl (revision 0)
Isn't this the kind of situation where you are expected to use their parsing test suite tool?
You mean Stratego's sunit tests? -- SIGOURE Benoit aka Tsuna _____ /EPITA\ Promo 2008.CSI Rock & tRoll
"Tsuna" == Tsuna <tsuna@warszawa.lrde.epita.fr> writes:
On 2006-06-12, Akim Demaille <akim@lrde.epita.fr> wrote:
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
Index: tests/pctl/man_examples.pctl --- tests/pctl/man_examples.pctl (revision 0) +++ tests/pctl/man_examples.pctl (revision 0)
Isn't this the kind of situation where you are expected to use their parsing test suite tool?
You mean Stratego's sunit tests?
I don't remember the name of the tool, but I well remember there is a parse-unit-test or something. It is unrelated to Stratego per se. Google is my friend. http://nix.cs.uu.nl/dist/stratego/strategoxt-manual-unstable-latest/manual/c...
"Akim" == Akim Demaille <akim@lrde.epita.fr> writes:
"Tsuna" == Tsuna <tsuna@warszawa.lrde.epita.fr> writes: On 2006-06-12, Akim Demaille <akim@lrde.epita.fr> wrote:
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
Index: tests/pctl/man_examples.pctl --- tests/pctl/man_examples.pctl (revision 0) +++ tests/pctl/man_examples.pctl (revision 0)
Isn't this the kind of situation where you are expected to use their parsing test suite tool?
You mean Stratego's sunit tests?
I don't remember the name of the tool, but I well remember there is a parse-unit-test or something. It is unrelated to Stratego per se.
Google is my friend.
http://nix.cs.uu.nl/dist/stratego/strategoxt-manual-unstable-latest/manual/c...
Never had feedback on this one.
participants (2)
-
Akim Demaille -
Tsuna