diff --git a/examples/xmllint/solve.py b/examples/xmllint/solve.py index 97869f9..8b447d7 100644 --- a/examples/xmllint/solve.py +++ b/examples/xmllint/solve.py @@ -1,6 +1,7 @@ #!/usr/bin/env python3 import os +import unittest import angr import claripy @@ -77,6 +78,7 @@ def progress_callback(stats: ClientStats, type_: str, _client_id: int): return idx, before, after, new_input +@unittest.skip("disabled") def test(): idx, before, after, new_input = main(verbose=False) # Basic corpus growth sanity checks