-
Notifications
You must be signed in to change notification settings - Fork 5
/
1.4.2-pre-58353fd273.log
223 lines (222 loc) · 9.09 KB
/
1.4.2-pre-58353fd273.log
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
Julia Version 1.4.2-pre.13
Commit 58353fd273 (2020-05-10 17:03 UTC)
Platform Info:
OS: Linux (x86_64-linux-gnu)
CPU: Intel(R) Xeon(R) Silver 4114 CPU @ 2.20GHz
WORD_SIZE: 64
LIBM: libopenlibm
LLVM: libLLVM-8.0.1 (ORCJIT, skylake)
Environment:
JULIA_DEPOT_PATH = ::/usr/local/share/julia
JULIA_NUM_THREADS = 2
Resolving package versions...
Installed NaNMath ────────────────────── v0.3.3
Installed JSONSchema ─────────────────── v0.2.0
Installed CodecBzip2 ─────────────────── v0.7.1
Installed SemialgebraicSets ──────────── v0.2.1
Installed Parsers ────────────────────── v1.0.3
Installed SpecialFunctions ───────────── v0.10.0
Installed OrderedCollections ─────────── v1.2.0
Installed SetProg ────────────────────── v0.1.1
Installed IniFile ────────────────────── v0.5.0
Installed Reexport ───────────────────── v0.2.0
Installed CompilerSupportLibraries_jll ─ v0.3.3+0
Installed Zlib_jll ───────────────────── v1.2.11+9
Installed OpenSpecFun_jll ────────────── v0.5.3+3
Installed Compat ─────────────────────── v2.2.0
Installed MutableArithmetics ─────────── v0.2.9
Installed TranscodingStreams ─────────── v0.9.5
Installed ColorTypes ─────────────────── v0.10.3
Installed ParameterJuMP ──────────────── v0.2.0
Installed MathOptInterface ───────────── v0.9.13
Installed Bzip2_jll ──────────────────── v1.0.6+2
Installed Calculus ───────────────────── v0.5.1
Installed DiffResults ────────────────── v1.0.2
Installed MbedTLS_jll ────────────────── v2.16.0+2
Installed RecipesBase ────────────────── v1.0.1
Installed HTTP ───────────────────────── v0.8.14
Installed DataStructures ─────────────── v0.17.15
Installed Polyhedra ──────────────────── v0.6.2
Installed CodecZlib ──────────────────── v0.7.0
Installed BenchmarkTools ─────────────── v0.5.0
Installed JSON ───────────────────────── v0.21.0
Installed FixedPointNumbers ──────────── v0.8.0
Installed MultivariateMoments ────────── v0.3.0
Installed MbedTLS ────────────────────── v1.0.2
Installed PolyJuMP ───────────────────── v0.4.0
Installed MultivariateBases ──────────── v0.1.2
Installed MultivariatePolynomials ────── v0.3.7
Installed GeometryTypes ──────────────── v0.8.3
Installed StaticArrays ───────────────── v0.12.3
Installed RowEchelon ─────────────────── v0.1.1
Installed CommonSubexpressions ───────── v0.2.0
Installed DynamicPolynomials ─────────── v0.3.10
Installed DiffRules ──────────────────── v1.0.1
Installed BinaryProvider ─────────────── v0.5.9
Installed ForwardDiff ────────────────── v0.10.10
Installed JuMP ───────────────────────── v0.21.2
Installed SumOfSquares ───────────────── v0.4.0
Updating `~/.julia/environments/v1.4/Project.toml`
[39881422] + SetProg v0.1.1
Updating `~/.julia/environments/v1.4/Manifest.toml`
[6e4b80f9] + BenchmarkTools v0.5.0
[b99e7846] + BinaryProvider v0.5.9
[6e34b625] + Bzip2_jll v1.0.6+2
[49dc2e85] + Calculus v0.5.1
[523fee87] + CodecBzip2 v0.7.1
[944b1d66] + CodecZlib v0.7.0
[3da002f7] + ColorTypes v0.10.3
[bbf7d656] + CommonSubexpressions v0.2.0
[34da2185] + Compat v2.2.0
[e66e0078] + CompilerSupportLibraries_jll v0.3.3+0
[864edb3b] + DataStructures v0.17.15
[163ba53b] + DiffResults v1.0.2
[b552c78f] + DiffRules v1.0.1
[7c1d4256] + DynamicPolynomials v0.3.10
[53c48c17] + FixedPointNumbers v0.8.0
[f6369f11] + ForwardDiff v0.10.10
[4d00f742] + GeometryTypes v0.8.3
[cd3eb016] + HTTP v0.8.14
[83e8ac13] + IniFile v0.5.0
[682c06a0] + JSON v0.21.0
[7d188eb4] + JSONSchema v0.2.0
[4076af6c] + JuMP v0.21.2
[b8f27783] + MathOptInterface v0.9.13
[739be429] + MbedTLS v1.0.2
[c8ffd9c3] + MbedTLS_jll v2.16.0+2
[be282fd4] + MultivariateBases v0.1.2
[f4abf1af] + MultivariateMoments v0.3.0
[102ac46a] + MultivariatePolynomials v0.3.7
[d8a4904e] + MutableArithmetics v0.2.9
[77ba4419] + NaNMath v0.3.3
[efe28fd5] + OpenSpecFun_jll v0.5.3+3
[bac558e1] + OrderedCollections v1.2.0
[774612a8] + ParameterJuMP v0.2.0
[69de0a69] + Parsers v1.0.3
[ddf597a6] + PolyJuMP v0.4.0
[67491407] + Polyhedra v0.6.2
[3cdcf5f2] + RecipesBase v1.0.1
[189a3867] + Reexport v0.2.0
[af85af4c] + RowEchelon v0.1.1
[8e049039] + SemialgebraicSets v0.2.1
[39881422] + SetProg v0.1.1
[276daf66] + SpecialFunctions v0.10.0
[90137ffa] + StaticArrays v0.12.3
[4b9e565b] + SumOfSquares v0.4.0
[3bb67fe8] + TranscodingStreams v0.9.5
[83775a58] + Zlib_jll v1.2.11+9
[2a0f44e3] + Base64
[ade2ca70] + Dates
[8bb1440f] + DelimitedFiles
[8ba89e20] + Distributed
[9fa8497b] + Future
[b77e0a4c] + InteractiveUtils
[76f85450] + LibGit2
[8f399da3] + Libdl
[37e2e46d] + LinearAlgebra
[56ddb016] + Logging
[d6f4376e] + Markdown
[a63ad114] + Mmap
[44cfe95a] + Pkg
[de0858da] + Printf
[3fa0cd96] + REPL
[9a3f8284] + Random
[ea8e919c] + SHA
[9e88b42a] + Serialization
[1a1011a3] + SharedArrays
[6462fe0b] + Sockets
[2f01184e] + SparseArrays
[10745b16] + Statistics
[8dfed614] + Test
[cf7118a7] + UUIDs
[4ec0a83e] + Unicode
Testing SetProg
Status `/tmp/jl_99VAKd/Manifest.toml`
[6e4b80f9] BenchmarkTools v0.5.0
[b99e7846] BinaryProvider v0.5.9
[6e34b625] Bzip2_jll v1.0.6+2
[49dc2e85] Calculus v0.5.1
[523fee87] CodecBzip2 v0.7.1
[944b1d66] CodecZlib v0.7.0
[3da002f7] ColorTypes v0.10.3
[bbf7d656] CommonSubexpressions v0.2.0
[34da2185] Compat v2.2.0
[e66e0078] CompilerSupportLibraries_jll v0.3.3+0
[864edb3b] DataStructures v0.17.15
[163ba53b] DiffResults v1.0.2
[b552c78f] DiffRules v1.0.1
[7c1d4256] DynamicPolynomials v0.3.10
[53c48c17] FixedPointNumbers v0.8.0
[f6369f11] ForwardDiff v0.10.10
[4d00f742] GeometryTypes v0.8.3
[cd3eb016] HTTP v0.8.14
[83e8ac13] IniFile v0.5.0
[682c06a0] JSON v0.21.0
[7d188eb4] JSONSchema v0.2.0
[4076af6c] JuMP v0.21.2
[b8f27783] MathOptInterface v0.9.13
[739be429] MbedTLS v1.0.2
[c8ffd9c3] MbedTLS_jll v2.16.0+2
[be282fd4] MultivariateBases v0.1.2
[f4abf1af] MultivariateMoments v0.3.0
[102ac46a] MultivariatePolynomials v0.3.7
[d8a4904e] MutableArithmetics v0.2.9
[77ba4419] NaNMath v0.3.3
[efe28fd5] OpenSpecFun_jll v0.5.3+3
[bac558e1] OrderedCollections v1.2.0
[774612a8] ParameterJuMP v0.2.0
[69de0a69] Parsers v1.0.3
[ddf597a6] PolyJuMP v0.4.0
[67491407] Polyhedra v0.6.2
[3cdcf5f2] RecipesBase v1.0.1
[189a3867] Reexport v0.2.0
[af85af4c] RowEchelon v0.1.1
[8e049039] SemialgebraicSets v0.2.1
[39881422] SetProg v0.1.1
[276daf66] SpecialFunctions v0.10.0
[90137ffa] StaticArrays v0.12.3
[4b9e565b] SumOfSquares v0.4.0
[3bb67fe8] TranscodingStreams v0.9.5
[83775a58] Zlib_jll v1.2.11+9
[2a0f44e3] Base64
[ade2ca70] Dates
[8bb1440f] DelimitedFiles
[8ba89e20] Distributed
[9fa8497b] Future
[b77e0a4c] InteractiveUtils
[76f85450] LibGit2
[8f399da3] Libdl
[37e2e46d] LinearAlgebra
[56ddb016] Logging
[d6f4376e] Markdown
[a63ad114] Mmap
[44cfe95a] Pkg
[de0858da] Printf
[3fa0cd96] REPL
[9a3f8284] Random
[ea8e919c] SHA
[9e88b42a] Serialization
[1a1011a3] SharedArrays
[6462fe0b] Sockets
[2f01184e] SparseArrays
[10745b16] Statistics
[8dfed614] Test
[cf7118a7] UUIDs
[4ec0a83e] Unicode
Test Summary: | Pass Total
apply_matrix | 4 4
Test Summary: | Pass Total
Variables | 8 8
Test Summary: | Pass Total
L1 heuristic | 1 1
Test Summary: | Pass Total
Recipe | 32 32
Test Summary: | Pass Total
Square | 40 40
Test Summary: | Pass Total
Invariant | 25 25
Test Summary: | Pass Total
Controlled invariant | 31 31
Test Summary: | Pass Total
Switched System | 22 22
Testing SetProg tests passed