alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

unit_propagation: Correct result when multiple colors are possible

Browse source 
* spot/twa/acc.cc: Here.
* tests/core/acc.cc, tests/core/acc.test, tests/core/remfin.test:
Update tests.
This commit is contained in:
Florian Renkin 2020-04-18 19:29:41 +02:00 • committed by Alexandre Duret-Lutz
parent 100fe3f00c
commit 262b24e6d7
4 changed files with 31 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/core/acc.test
View file

@ -86,6 +86,8 @@ Inf(2) & Fin(2)
(Fin(0)|Fin(3)) | (Inf(1) & Fin(2))
(Fin(0)|Fin(3)) | (Inf(1) & Fin(2))
Inf(5) | Inf(0)
Fin(1) | Inf(0)
Inf(0) | Fin(2)
EOF
run 0 ../acc > stdout