Commit bf574918 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

parseaut: do not ignore the "unambiguous" property

Fixes #115.

* src/parseaut/parseaut.yy: Set the property on the output automaton.
* src/tests/unambig.test: Add a test case.
* NEWS: Mention the fix.
parent cbaa94f9
New in spot 1.99.5a (not yet released)
Nothing yet.
Bug fixes:
* automaton parser was ignoring the "unambiguous" property.
New in spot 1.99.5 (2015-11-03)
......
......@@ -436,6 +436,8 @@ header: format-version header-items
res.h->aut->prop_stutter_sensitive(ss);
bool iw = res.props.find("inherently-weak") != e;
res.h->aut->prop_inherently_weak(iw);
bool iu = res.props.find("unambiguous") != e;
res.h->aut->prop_unambiguous(iu);
}
}
......
......@@ -170,5 +170,53 @@ State: 0
State: 1
State: 2
--END--
HOA: v1
AP: 0
States: 3
Start: 0
Acceptance: 1 Inf(0)
properties: explicit-labels state-acc trans-labels unambiguous
--BODY--
State: 0
[t] 2
[t] 1
State: 1
State: 2
--END--
EOF
# Make sure we preserve the "unambiguous" property if it is given.
run 0 $autfilt -H --is-unambiguous input >output
cat >expected <<EOF
HOA: v1
name: ""
States: 3
Start: 0
AP: 0
acc-name: Buchi
Acceptance: 1 Inf(0)
properties: trans-labels explicit-labels state-acc
--BODY--
State: 0
[t] 2
[t] 1
State: 1
State: 2
--END--
HOA: v1
States: 3
Start: 0
AP: 0
acc-name: Buchi
Acceptance: 1 Inf(0)
properties: trans-labels explicit-labels state-acc unambiguous
--BODY--
State: 0
[t] 2
[t] 1
State: 1
State: 2
--END--
EOF
run 0 $autfilt -q --is-unambiguous input
diff output expected
Markdown is supported
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