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'
Description
Steps to reproduce the bug
Run CI
Environment
CI
Additional context
No response