test_examples.test_defcon2019quals_veryandroidoso is failing in CI

[twizmwazin]

Description

Traceback (most recent call last):
  File "/__w/angr-doc/angr-doc/build/src/angr-doc/tests/test_examples.py", line 260, in test_defcon2019quals_veryandroidoso
    exampletest_single("defcon2019quals_veryandroidoso")
  File "/__w/angr-doc/angr-doc/build/src/angr-doc/tests/test_examples.py", line 32, in exampletest_single
    module.test()
AttributeError: module 'solve' has no attribute 'test'

Steps to reproduce the bug

Run CI

Environment

CI

Additional context

No response