formula: b* is siSERE
Since b[+] and [*0] are siSERE, b* is siSERE as well. Suggested by Victor Khomenko. * spot/tl/formula.cc: Implement that for Star and also in the concatenation rule. * tests/core/kind.test, tests/core/ltlfilt.test: Adjust.
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | alpine-gcc |
#42372
|
00:26:27
|
|
|||||
| passed | arch-clang |
#42373
|
00:46:18
|
|
|||||
| passed | arch-gcc-glibcxxdebug |
#42374
|
00:44:30
|
|
|||||
| passed | debian-gcc-snapshot |
#42371
|
01:15:00
|
|
|||||
| passed | debian-stable-gcc |
#42369
|
00:39:33
|
|
|||||
| passed | debian-unstable-gcc-coverage |
#42370
|
00:39:47
|
88.8% |
|
||||
| passed | debpkg-stable |
#42377
|
01:59:07
|
|
|||||
| passed | mingw-shared |
#42375
|
00:10:03
|
|
|||||
| passed | mingw-static |
#42376
|
00:07:44
|
|
|||||
| passed | rpm-pkg |
#42378
|
01:01:47
|
|
|||||