Commit 06c782dc authored by Akim Demaille's avatar Akim Demaille
Browse files

style: minor fixes

* share/vcsn/lal_char_zmin/minab.gv,
* share/vcsn/lal_char_zmin/minblocka.gv,
* share/vcsn/lal_char_zmin/slowgrow.gv: Fix comments.
* lib/vcsn/algos/edit-automaton.cc: Sort.
* tests/bin/test.py: Fix the display of failures.
parent b3a1b5c9
......@@ -95,6 +95,14 @@ namespace vcsn
return o;
}
void
lazy_automaton_editor::reset()
{
transitions_.clear();
final_states_.clear();
initial_states_.clear();
}
/// Create ctx and return the built automaton.
dyn::automaton lazy_automaton_editor::result()
{
......@@ -124,12 +132,4 @@ namespace vcsn
edit->add_final(p.first, p.second);
return edit->result();
}
void
lazy_automaton_editor::reset()
{
transitions_.clear();
final_states_.clear();
initial_states_.clear();
}
}
// Z-automaton minab.
// Zmin-automaton minab.
digraph
{
vcsn_context = "lal_char(ab), zmin"
......
// Z-automaton minblocka.
// Zmin-automaton minblocka.
digraph
{
vcsn_context = "lal_char(ab), zmin"
......
// Z-automaton slowgrow.
// Zmin-automaton slowgrow.
digraph
{
vcsn_context = "lal_char(ab), zmin"
......
......@@ -174,8 +174,8 @@ def CHECK_EQUIV(a1, a2):
PASS()
else:
FAIL("not equivalent")
rst_file("Left", a1)
rst_file("Right", a2)
rst_file("Left", format(a1))
rst_file("Right", format(a2))
s1 = a1.shortest(num).format('list')
s2 = a2.shortest(num).format('list')
rst_file("Left shortest", s1)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment