12 Jun
2006
12 Jun
'06
6:47 p.m.
>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)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?
13 Jun
13 Jun
6:04 p.m.
New subject: XRM 59: Add (buggy) support for PCTL/CSL formulas.
On 2006-06-12, Akim Demaille <akim(a)lrde.epita.fr> wrote:
You mean Stratego's sunit tests?
--
SIGOURE Benoit aka Tsuna
_____
/EPITA\ Promo 2008.CSI Rock & tRoll
>>
"SIGOURE" == SIGOURE Benoit <sigoure.benoit(a)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?
11:34 a.m.
New subject: XRM 59: Add (buggy) support for PCTL/CSL formulas.
>> "Tsuna" == Tsuna
<tsuna(a)warszawa.lrde.epita.fr> writes:
On 2006-06-12, Akim Demaille
<akim(a)lrde.epita.fr> wrote:
>>>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)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/…
23 Jun
23 Jun
1:59 p.m.
New subject: XRM 59: Add (buggy) support for PCTL/CSL formulas.
>> "Akim" == Akim Demaille
<akim(a)lrde.epita.fr> writes:
>> "Tsuna" == Tsuna
<tsuna(a)warszawa.lrde.epita.fr> writes:
> On 2006-06-12, Akim Demaille <akim(a)lrde.epita.fr> wrote:
>>>>> "SIGOURE" == SIGOURE Benoit
<sigoure.benoit(a)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.
Never had feedback on this one.
6528
days inactive
6539
days old
3 comments
2 participants
participants (2)
-
Akim Demaille -
Tsuna