Skip to content

Commit 54ec3de

Browse files
authored
Temporarily disable xmllint example (#13)
1 parent 0af962a commit 54ec3de

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

examples/xmllint/solve.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
#!/usr/bin/env python3
22

33
import os
4+
import unittest
45

56
import angr
67
import claripy
@@ -77,6 +78,7 @@ def progress_callback(stats: ClientStats, type_: str, _client_id: int):
7778
return idx, before, after, new_input
7879

7980

81+
@unittest.skip("disabled")
8082
def test():
8183
idx, before, after, new_input = main(verbose=False)
8284
# Basic corpus growth sanity checks

0 commit comments

Comments
 (0)