search

adl / hoaf

Hanoi Omega-Automata Format
13 stars 2 forks source link

examples / test cases #33

Closed adl closed 10 years ago

adl commented 10 years ago

In #32 @kleinj wrote:

I would then as a next step extract the example automata in an examples subdirectory, so we can use them for testing parser implementations. Ok?

Sounds nice.

Maybe we can have a script that reads README.md and populate examples/ to keep them in sync?

kleinj commented 10 years ago

Yeah, that's a good idea. I'll quickly hack a script. The start / end / name of the automaton in README.md can then be specified by <!--- --> comments.

adl commented 10 years ago

Do we really need any extra marking? All automata are already presented in the form

![automaton](some-filename.svg)

    HOA: v1
    [...]
    --END--

So I see name, start, and end!

kleinj commented 10 years ago

Well, there is stuff like aut3.svg, which is used multiple times and the example automata fragments (aut9.svg and aut10.svg). Please have a look at the issues/33 branch for a proposal.

adl commented 10 years ago

Fixed as discussed in #34.