Skip to content

Commit d33a8c4

Browse files
authored
Update solve.py
1 parent 515f517 commit d33a8c4

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

lab8/solve.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
#!/usr/bin/env python3
2+
13
import sys
24
import angr
35
import claripy

0 commit comments

Comments
 (0)