bench: bitstate: rework DFS implementation

* bench/bitstate/bitstate.hh: implementation here
9 jobs for ta/bitstate in 83 minutes and 55 seconds (queued for 40 minutes and 5 seconds)
Status Job ID Name Coverage
  Build
failed #83389
alpine-gcc

00:32:20

failed #83390
arch-clang

00:37:32

failed #83391
arch-gcc-glibcxxdebug

00:39:29

failed #83388
allowed to fail
debian-gcc-snapshot

00:06:32

failed #83386
debian-stable-gcc

00:26:06

failed #83387
debian-unstable-gcc-coverage

00:52:12

passed #83392
mingw-shared

00:10:02

passed #83393
mingw-static

00:08:22

failed #83394
armv7
raspbian

01:00:33

 
Name Stage Failure
failed
arch-gcc-glibcxxdebug Build
make[2]: *** [Makefile:4650: check-am] Error 2
make[1]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub'
make[1]: *** [Makefile:1291: check-recursive] Error 1
make: *** [Makefile:1508: distcheck] Error 1
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=83391 responseStatus=201 Created token=vVdeyLiz
ERROR: Job failed: exit code 1
failed
arch-clang Build
make[2]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub/tests'
make[1]: *** [Makefile:1291: check-recursive] Error 1
make[1]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub'
make: *** [Makefile:1508: distcheck] Error 1
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=83390 responseStatus=201 Created token=zW4DJRyk
ERROR: Job failed: exit code 1
failed
raspbian Build
make[1]: Leaving directory '/mnt/data/gitlab-runner/builds/o5DHHxgA/0/spot/spot/spot-2.8.2.dev/_build/sub'
make: *** [Makefile:1509: distcheck] Error 1
Uploading artifacts...
Runtime platform arch=arm os=linux pid=32588 revision=a987417a version=12.2.0
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

./*.tar.gz: found 1 matching files

Uploading artifacts to coordinator... ok
id=83394 responseStatus=201 Created token=A5d5LwFz
ERROR: Job failed: exit status 1
failed
alpine-gcc Build
make[2]: *** [Makefile:2737: check-TESTS] Error 2
make[1]: *** [Makefile:4652: check-am] Error 2
make[1]: Leaving directory '/builds/spot/spot/tests'
make: *** [Makefile:1292: check-recursive] Error 1
Uploading artifacts...
tests/*/*.log: found 266 matching files
./*.log: found 1 matching files

Uploading artifacts to coordinator... ok
id=83389 responseStatus=201 Created token=WjJ8f8TV
ERROR: Job failed: exit code 1
failed
debian-unstable-gcc-coverage Build
tests/*/*.log: found 266 matching files            
./*.log: found 1 matching files

doc/spot.html/: found 3022 matching files

doc/userdoc/: found 197 matching files

WARNING: coverage/: no matching files
WARNING: ./*.tar.gz: no matching files
WARNING: spot2.info: no matching files
Uploading artifacts to coordinator... ok
id=83387 responseStatus=201 Created token=JwmEwjMZ
ERROR: Job failed: exit code 1
failed
debian-gcc-snapshot Build
make: *** [Makefile:1212: all] Error 2
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

WARNING: doc/spot.html/: no matching files
WARNING: doc/userdoc/: no matching files
WARNING: ./*.tar.gz: no matching files
Uploading artifacts to coordinator... ok
id=83388 responseStatus=201 Created token=kNDss3WK
ERROR: Job failed: exit code 1
failed
debian-stable-gcc Build
make[1]: Leaving directory '/builds/spot/spot/spot-2.8.2.dev/_build/sub'
make[1]: *** [Makefile:1292: check-recursive] Error 1
make: *** [Makefile:1509: distcheck] Error 1
Uploading artifacts...
WARNING: ./spot-*/_build/sub/tests/*/*.log: no matching files
./*.log: found 1 matching files

./*.tar.gz: found 1 matching files

Uploading artifacts to coordinator... ok
id=83386 responseStatus=201 Created token=wFK_sXHC
ERROR: Job failed: exit code 1