autcross: simplify code using complement() and intersecting_word()
* bin/autcross.cc: Let complement() decide how to complement automata. Do not apply remove_fin(), because we have a generic emptiness check now. Use intersecting_word() instead of product()+accepting_word() so that the former can maybe be optimized in the future. * tests/core/autcross2.test: Adjust test case to use TGBA instead of monitors, as calling complement() had a side-effect of setting the "weak" property on the input.
Status | Job ID | Name | Coverage | ||||||
---|---|---|---|---|---|---|---|---|---|
Build | |||||||||
passed |
#49047
|
alpine-gcc |
00:24:28
|
|
|||||
passed |
#49048
|
arch-clang |
00:50:06
|
|
|||||
passed |
#49049
|
arch-gcc-glibcxxdebug |
00:50:45
|
|
|||||
passed |
#49046
|
debian-gcc-snapshot |
01:08:03
|
|
|||||
passed |
#49044
|
debian-stable-gcc |
00:39:14
|
|
|||||
passed |
#49045
|
debian-unstable-gcc-coverage |
00:47:19
|
88.7% |
|
||||
passed |
#49052
|
debpkg-stable |
01:57:33
|
|
|||||
passed |
#49053
|
debpkg-unstable |
01:58:30
|
|
|||||
passed |
#49050
|
mingw-shared |
00:14:39
|
|
|||||
passed |
#49051
|
mingw-static |
00:12:39
|
|
|||||
passed |
#49054
|
rpm-pkg |
00:51:11
|
|
|||||
Publish | |||||||||
passed |
#49055
dput
|
publish-rpm |
00:00:38
|
|
|||||
passed |
#49056
dput
|
publish-unstable |
00:02:49
|
|
|||||