1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
diff -ura claripy-7.7.9.21.orig/claripy/frontend_mixins/constraint_expansion_mixin.py claripy-7.7.9.21.new/claripy/frontend_mixins/constraint_expansion_mixin.py
--- claripy-7.7.9.21.orig/claripy/frontend_mixins/constraint_expansion_mixin.py 2017-11-21 12:34:44.443988338 -0500
+++ claripy-7.7.9.21.new/claripy/frontend_mixins/constraint_expansion_mixin.py 2017-11-21 12:34:46.745893350 -0500
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
import logging
l = logging.getLogger("claripy.frontends.cache_mixin")
diff -ura claripy-7.7.9.21.orig/claripy/frontend.py claripy-7.7.9.21.new/claripy/frontend.py
--- claripy-7.7.9.21.orig/claripy/frontend.py 2017-11-21 12:34:44.437304730 -0500
+++ claripy-7.7.9.21.new/claripy/frontend.py 2017-11-21 12:34:46.762594396 -0500
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
import logging
import numbers
diff -ura claripy-7.7.9.21.orig/claripy/frontends/constrained_frontend.py claripy-7.7.9.21.new/claripy/frontends/constrained_frontend.py
--- claripy-7.7.9.21.orig/claripy/frontends/constrained_frontend.py 2017-11-21 12:34:44.443988338 -0500
+++ claripy-7.7.9.21.new/claripy/frontends/constrained_frontend.py 2017-11-21 12:34:46.749233559 -0500
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
import logging
diff -ura claripy-7.7.9.21.orig/claripy/frontends/hybrid_frontend.py claripy-7.7.9.21.new/claripy/frontends/hybrid_frontend.py
--- claripy-7.7.9.21.orig/claripy/frontends/hybrid_frontend.py 2017-11-21 12:34:44.443988338 -0500
+++ claripy-7.7.9.21.new/claripy/frontends/hybrid_frontend.py 2017-11-21 12:34:46.749233559 -0500
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
import logging
diff -ura claripy-7.7.9.21.orig/claripy/frontends/light_frontend.py claripy-7.7.9.21.new/claripy/frontends/light_frontend.py
--- claripy-7.7.9.21.orig/claripy/frontends/light_frontend.py 2017-11-21 12:34:44.443988338 -0500
+++ claripy-7.7.9.21.new/claripy/frontends/light_frontend.py 2017-11-21 12:34:46.749233559 -0500
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
import logging
l = logging.getLogger("claripy.frontends.light_frontend")
diff -ura claripy-7.7.9.21.orig/claripy/frontends/replacement_frontend.py claripy-7.7.9.21.new/claripy/frontends/replacement_frontend.py
--- claripy-7.7.9.21.orig/claripy/frontends/replacement_frontend.py 2017-11-21 12:34:44.443988338 -0500
+++ claripy-7.7.9.21.new/claripy/frontends/replacement_frontend.py 2017-11-21 12:34:46.749233559 -0500
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
import logging
import numbers
diff -ura claripy-7.7.9.21.orig/claripy/__init__.py claripy-7.7.9.21.new/claripy/__init__.py
--- claripy-7.7.9.21.orig/claripy/__init__.py 2017-11-21 12:34:44.450671947 -0500
+++ claripy-7.7.9.21.new/claripy/__init__.py 2017-11-21 12:34:46.762594396 -0500
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
# pylint: disable=F0401,W0401,W0603,
import os
|