Commit 65c93b95 authored by Akim Demaille's avatar Akim Demaille
Browse files

tests: fix file names

* tests/python/proper.dir/lan-poly.3.fail.gv,
* tests/python/proper.dir/lao-r.in.gv: These are actually daut files.
parent 10e61ad7
......@@ -297,7 +297,7 @@ EXTRA_DIST += \
%D%/proper.dir/lan-poly.1.in.gv \
%D%/proper.dir/lan-poly.1.out.gv \
%D%/proper.dir/lan-poly.2.fail.gv \
%D%/proper.dir/lan-poly.3.fail.gv \
%D%/proper.dir/lan-poly.3.fail.daut \
%D%/proper.dir/lan-qr.in.gv \
%D%/proper.dir/lan-qr.out.gv \
%D%/proper.dir/lan-r.in.gv \
......@@ -305,7 +305,7 @@ EXTRA_DIST += \
%D%/proper.dir/lan-z.fail.gv \
%D%/proper.dir/lan-z.in.gv \
%D%/proper.dir/lan-z.out.gv \
%D%/proper.dir/lao-r.in.gv \
%D%/proper.dir/lao-r.in.daut \
%D%/proper.dir/lao-r.out.gv \
%D%/proper.dir/law-b.in.gv \
%D%/proper.dir/law-b.out.gv \
......
......@@ -63,7 +63,7 @@ def check_fail(i, algs=algos):
## lao, r: check the computation of star. ##
## --------------------------------------- ##
check(metext('lao-r.in.gv'), metext('lao-r.out.gv'))
check(metext('lao-r.in.daut'), metext('lao-r.out.gv'))
## -------------------------------------------- ##
## lan_char, r: check the computation of star. ##
......@@ -290,7 +290,7 @@ check(r'''digraph
check(metext('lan-poly.1.in.gv'), metext('lan-poly.1.out.gv'))
check_fail(metext('lan-poly.2.fail.gv'))
check_fail(metext('lan-poly.3.fail.gv'))
check_fail(metext('lan-poly.3.fail.daut'))
## ---------------------- ##
......
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