pyrox.dev
python3Packages.manticore: 0.3.5 -> 0.3.6
+36
-14
pkgs/development/python-modules/manticore/default.nix
+36
-14
pkgs/development/python-modules/manticore/default.nix
···
1
{ lib
2
, buildPythonPackage
3
-
, fetchFromGitHub
4
, capstone
5
, crytic-compile
6
, ply
7
, prettytable
8
, pyelftools
9
, pyevmasm
10
, pysha3
11
, pyyaml
12
, rlp
13
, stdenv
14
, unicorn
15
, wasm
16
, yices
17
-
, pytestCheckHook
18
, z3
19
}:
20
21
buildPythonPackage rec {
22
pname = "manticore";
23
-
version = "0.3.5";
24
25
src = fetchFromGitHub {
26
owner = "trailofbits";
27
repo = "manticore";
28
rev = version;
29
-
sha256 = "0z2nhfcraa5dx6srbrw8s11awh2la0x7d88yw9in8g548nv6qa69";
30
};
31
32
propagatedBuildInputs = [
33
crytic-compile
34
ply
35
prettytable
36
pyevmasm
37
pysha3
38
pyyaml
···
49
sed -ie s/z3-solver// setup.py
50
'';
51
52
-
checkInputs = [ pytestCheckHook ];
53
-
preCheck = "export PATH=${yices}/bin:${z3}/bin:$PATH";
54
-
pytestFlagsArray = [
55
-
"--ignore=tests/ethereum" # TODO: enable when solc works again
56
-
"--ignore=tests/ethereum_bench"
57
] ++ lib.optionals (!stdenv.isLinux) [
58
-
"--ignore=tests/native"
59
-
"--ignore=tests/other/test_locking.py"
60
-
"--ignore=tests/other/test_state_introspection.py"
61
];
62
disabledTests = [
63
-
# failing tests
64
"test_chmod"
65
"test_timeout"
66
"test_wasm_main"
67
-
# slow tests
68
"testmprotectFailSymbReading"
69
"test_ConstraintsForking"
70
"test_resume"
···
97
"test_implicit_call"
98
"test_trace"
99
"test_plugin"
100
];
101
102
meta = with lib; {
···
1
{ lib
2
, buildPythonPackage
3
, capstone
4
, crytic-compile
5
+
, fetchFromGitHub
6
+
, intervaltree
7
, ply
8
, prettytable
9
+
, protobuf
10
, pyelftools
11
, pyevmasm
12
, pysha3
13
+
, pytestCheckHook
14
+
, pythonOlder
15
, pyyaml
16
, rlp
17
, stdenv
18
, unicorn
19
, wasm
20
, yices
21
, z3
22
}:
23
24
buildPythonPackage rec {
25
pname = "manticore";
26
+
version = "0.3.6";
27
+
format = "setuptools";
28
+
29
+
disabled = pythonOlder "3.7";
30
31
src = fetchFromGitHub {
32
owner = "trailofbits";
33
repo = "manticore";
34
rev = version;
35
+
sha256 = "sha256-L112YwrBcdcLBeBsPLWt3C57u2WDvGLq50EzW9ojdyg=";
36
};
37
38
propagatedBuildInputs = [
39
crytic-compile
40
+
intervaltree
41
ply
42
prettytable
43
+
protobuf
44
pyevmasm
45
pysha3
46
pyyaml
···
57
sed -ie s/z3-solver// setup.py
58
'';
59
60
+
checkInputs = [
61
+
pytestCheckHook
62
+
];
63
+
64
+
preCheck = ''
65
+
export PATH=${yices}/bin:${z3}/bin:$PATH
66
+
'';
67
+
68
+
disabledTestPaths = [
69
+
"tests/ethereum" # Enable when solc works again
70
+
"tests/ethereum_bench"
71
] ++ lib.optionals (!stdenv.isLinux) [
72
+
"tests/native"
73
+
"tests/other/test_locking.py"
74
+
"tests/other/test_state_introspection.py"
75
];
76
+
77
disabledTests = [
78
+
# Failing tests
79
"test_chmod"
80
"test_timeout"
81
"test_wasm_main"
82
+
# Slow tests
83
"testmprotectFailSymbReading"
84
"test_ConstraintsForking"
85
"test_resume"
···
112
"test_implicit_call"
113
"test_trace"
114
"test_plugin"
115
+
# Tests are failing with latest unicorn
116
+
"Aarch64UnicornInstructions"
117
+
"test_integration_resume"
118
+
];
119
+
120
+
pythonImportsCheck = [
121
+
"manticore"
122
];
123
124
meta = with lib; {