-
Notifications
You must be signed in to change notification settings - Fork 5
/
1.6.0-DEV-22b5d93b2b.log
481 lines (480 loc) · 21.7 KB
/
1.6.0-DEV-22b5d93b2b.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
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
Julia Version 1.6.0-DEV.1069
Commit 22b5d93b2b (2020-09-28 17:33 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-10.0.1 (ORCJIT, skylake-avx512)
Environment:
JULIA_DEPOT_PATH = ::/usr/local/share/julia
JULIA_NUM_THREADS = 2
Resolving package versions...
Installed IniFile ────────────────────── v0.5.0
Installed CodecZlib ──────────────────── v0.7.0
Installed ErrorfreeArithmetic ────────── v0.5.2
Installed SimpleTraits ───────────────── v0.9.3
Installed FunctionWrappers ───────────── v1.1.1
Installed ProgressMeter ──────────────── v1.4.0
Installed MathematicalSystems ────────── v0.11.5
Installed ReachabilityAnalysis ───────── v0.8.0
Installed RecipesBase ────────────────── v1.1.0
Installed ProgressLogging ────────────── v0.1.3
Installed Zlib_jll ───────────────────── v1.2.11+16
Installed GLPK_jll ───────────────────── v4.64.0+0
Installed MappedArrays ───────────────── v0.2.2
Installed ConsoleProgressMonitor ─────── v0.1.2
Installed TreeViews ──────────────────── v0.3.0
Installed MuladdMacro ────────────────── v0.2.2
Installed ExprTools ──────────────────── v0.1.2
Installed DataStructures ─────────────── v0.17.20
Installed MultivariatePolynomials ────── v0.3.10
Installed OffsetArrays ───────────────── v1.3.0
Installed Espresso ───────────────────── v0.6.0
Installed MathOptInterface ───────────── v0.9.17
Installed Requires ───────────────────── v1.0.3
Installed RoundingEmulator ───────────── v0.2.1
Installed Calculus ───────────────────── v0.5.1
Installed SLEEFPirates ───────────────── v0.5.5
Installed TranscodingStreams ─────────── v0.9.5
Installed IntervalMatrices ───────────── v0.6.2
Installed IntervalArithmetic ─────────── v0.17.5
Installed ArrayInterface ─────────────── v2.13.3
Installed EzXML ──────────────────────── v1.1.0
Installed DiffResults ────────────────── v1.0.2
Installed Libiconv_jll ───────────────── v1.16.0+6
Installed CompilerSupportLibraries_jll ─ v0.3.3+0
Installed ForwardDiff ────────────────── v0.10.12
Installed TaylorSeries ───────────────── v0.10.7
Installed HTTP ───────────────────────── v0.8.19
Installed LoopVectorization ──────────── v0.8.26
Installed RecursiveArrayTools ────────── v2.7.0
Installed JuMP ───────────────────────── v0.21.4
Installed RecursiveFactorization ─────── v0.1.4
Installed BenchmarkTools ─────────────── v0.5.0
Installed LazySets ───────────────────── v1.37.10
Installed DiffRules ──────────────────── v1.0.1
Installed CodecBzip2 ─────────────────── v0.7.2
Installed Inflate ────────────────────── v0.1.2
Installed CommonSubexpressions ───────── v0.3.0
Installed VectorizationBase ──────────── v0.12.33
Installed IterativeSolvers ───────────── v0.8.4
Installed DiffEqBase ─────────────────── v6.44.3
Installed ChainRulesCore ─────────────── v0.9.10
Installed GMP_jll ────────────────────── v6.2.0+2
Installed SIMDPirates ────────────────── v0.8.25
Installed Mocking ────────────────────── v0.7.1
Installed CpuId ──────────────────────── v0.2.2
Installed MutableArithmetics ─────────── v0.2.10
Installed MathProgBase ───────────────── v0.7.8
Installed Intervals ──────────────────── v1.4.2
Installed HybridSystems ──────────────── v0.3.2
Installed TableTraits ────────────────── v1.0.0
Installed OpenSpecFun_jll ────────────── v0.5.3+3
Installed Polynomials ────────────────── v1.1.9
Installed ZygoteRules ────────────────── v0.2.0
Installed LoggingExtras ──────────────── v0.4.2
Installed XML2_jll ───────────────────── v2.9.10+2
Installed SpecialFunctions ───────────── v0.10.3
Installed TerminalLoggers ────────────── v0.1.2
Installed Parsers ────────────────────── v1.0.10
Installed Reexport ───────────────────── v0.2.0
Installed UnPack ─────────────────────── v1.0.2
Installed OrderedCollections ─────────── v1.3.1
Installed MbedTLS_jll ────────────────── v2.16.8+0
Installed BinaryProvider ─────────────── v0.5.10
Installed DocStringExtensions ────────── v0.8.3
Installed FastRounding ───────────────── v0.2.0
Installed Bzip2_jll ──────────────────── v1.0.6+4
Installed TaylorIntegration ──────────── v0.8.3
Installed MbedTLS ────────────────────── v1.0.2
Installed Roots ──────────────────────── v1.0.5
Installed FillArrays ─────────────────── v0.9.6
Installed StaticArrays ───────────────── v0.12.4
Installed SetRounding ────────────────── v0.2.0
Installed CRlibm ─────────────────────── v0.8.0
Installed JSON ───────────────────────── v0.21.1
Installed TaylorModels ───────────────── v0.3.6
Installed AbstractTrees ──────────────── v0.3.3
Installed TimeZones ──────────────────── v1.4.0
Installed MacroTools ─────────────────── v0.5.5
Installed GLPK ───────────────────────── v0.13.0
Installed Parameters ─────────────────── v0.12.1
Installed LeftChildRightSiblingTrees ─── v0.1.2
Installed ArnoldiMethod ──────────────── v0.0.4
Installed LabelledArrays ─────────────── v1.3.0
Installed LightGraphs ────────────────── v1.3.3
Installed NaNMath ────────────────────── v0.3.4
Installed ZipFile ────────────────────── v0.9.2
Installed JSONSchema ─────────────────── v0.3.2
Installed IteratorInterfaceExtensions ── v1.0.0
Installed GLPKMathProgInterface ──────── v0.5.0
Installed IntervalRootFinding ────────── v0.5.4
Updating `~/.julia/environments/v1.6/Project.toml`
[1e97bd63] + ReachabilityAnalysis v0.8.0
Updating `~/.julia/environments/v1.6/Manifest.toml`
[1520ce14] + AbstractTrees v0.3.3
[ec485272] + ArnoldiMethod v0.0.4
[4fba245c] + ArrayInterface v2.13.3
[6e4b80f9] + BenchmarkTools v0.5.0
[b99e7846] + BinaryProvider v0.5.10
[6e34b625] + Bzip2_jll v1.0.6+4
[96374032] + CRlibm v0.8.0
[49dc2e85] + Calculus v0.5.1
[d360d2e6] + ChainRulesCore v0.9.10
[523fee87] + CodecBzip2 v0.7.2
[944b1d66] + CodecZlib v0.7.0
[bbf7d656] + CommonSubexpressions v0.3.0
[e66e0078] + CompilerSupportLibraries_jll v0.3.3+0
[88cd18e8] + ConsoleProgressMonitor v0.1.2
[adafc99b] + CpuId v0.2.2
[864edb3b] + DataStructures v0.17.20
[2b5f629d] + DiffEqBase v6.44.3
[163ba53b] + DiffResults v1.0.2
[b552c78f] + DiffRules v1.0.1
[ffbed154] + DocStringExtensions v0.8.3
[90fa49ef] + ErrorfreeArithmetic v0.5.2
[6912e4f1] + Espresso v0.6.0
[e2ba6199] + ExprTools v0.1.2
[8f5d6c58] + EzXML v1.1.0
[fa42c844] + FastRounding v0.2.0
[1a297f60] + FillArrays v0.9.6
[f6369f11] + ForwardDiff v0.10.12
[069b7b12] + FunctionWrappers v1.1.1
[60bf3e95] + GLPK v0.13.0
[3c7084bd] + GLPKMathProgInterface v0.5.0
[e8aa6df9] + GLPK_jll v4.64.0+0
[781609d7] + GMP_jll v6.2.0+2
[cd3eb016] + HTTP v0.8.19
[2207ec0c] + HybridSystems v0.3.2
[d25df0c9] + Inflate v0.1.2
[83e8ac13] + IniFile v0.5.0
[d1acc4aa] + IntervalArithmetic v0.17.5
[5c1f47dc] + IntervalMatrices v0.6.2
[d2bf35a9] + IntervalRootFinding v0.5.4
[d8418881] + Intervals v1.4.2
[42fd0dbc] + IterativeSolvers v0.8.4
[82899510] + IteratorInterfaceExtensions v1.0.0
[682c06a0] + JSON v0.21.1
[7d188eb4] + JSONSchema v0.3.2
[4076af6c] + JuMP v0.21.4
[2ee39098] + LabelledArrays v1.3.0
[b4f0291d] + LazySets v1.37.10
[1d6d02ad] + LeftChildRightSiblingTrees v0.1.2
[94ce4f54] + Libiconv_jll v1.16.0+6
[093fc24a] + LightGraphs v1.3.3
[e6f89c97] + LoggingExtras v0.4.2
[bdcacae8] + LoopVectorization v0.8.26
[1914dd2f] + MacroTools v0.5.5
[dbb5928d] + MappedArrays v0.2.2
[b8f27783] + MathOptInterface v0.9.17
[fdba3010] + MathProgBase v0.7.8
[d14a8603] + MathematicalSystems v0.11.5
[739be429] + MbedTLS v1.0.2
[c8ffd9c3] + MbedTLS_jll v2.16.8+0
[78c3b35d] + Mocking v0.7.1
[46d2c3a1] + MuladdMacro v0.2.2
[102ac46a] + MultivariatePolynomials v0.3.10
[d8a4904e] + MutableArithmetics v0.2.10
[77ba4419] + NaNMath v0.3.4
[6fe1bfb0] + OffsetArrays v1.3.0
[efe28fd5] + OpenSpecFun_jll v0.5.3+3
[bac558e1] + OrderedCollections v1.3.1
[d96e819e] + Parameters v0.12.1
[69de0a69] + Parsers v1.0.10
[f27b6e38] + Polynomials v1.1.9
[33c8b6b6] + ProgressLogging v0.1.3
[92933f4c] + ProgressMeter v1.4.0
[1e97bd63] + ReachabilityAnalysis v0.8.0
[3cdcf5f2] + RecipesBase v1.1.0
[731186ca] + RecursiveArrayTools v2.7.0
[f2c3362d] + RecursiveFactorization v0.1.4
[189a3867] + Reexport v0.2.0
[ae029012] + Requires v1.0.3
[f2b01f46] + Roots v1.0.5
[5eaf0fd0] + RoundingEmulator v0.2.1
[21efa798] + SIMDPirates v0.8.25
[476501e8] + SLEEFPirates v0.5.5
[3cc68bcd] + SetRounding v0.2.0
[699a6c99] + SimpleTraits v0.9.3
[276daf66] + SpecialFunctions v0.10.3
[90137ffa] + StaticArrays v0.12.4
[3783bdb8] + TableTraits v1.0.0
[92b13dbe] + TaylorIntegration v0.8.3
[314ce334] + TaylorModels v0.3.6
[6aa5eb33] + TaylorSeries v0.10.7
[5d786b92] + TerminalLoggers v0.1.2
[f269a46b] + TimeZones v1.4.0
[3bb67fe8] + TranscodingStreams v0.9.5
[a2a6695c] + TreeViews v0.3.0
[3a884ed6] + UnPack v1.0.2
[3d5dd08c] + VectorizationBase v0.12.33
[02c8fc9c] + XML2_jll v2.9.10+2
[a5390f91] + ZipFile v0.9.2
[83775a58] + Zlib_jll v1.2.11+16
[700de1a5] + ZygoteRules v0.2.0
[56f22d72] + Artifacts
[2a0f44e3] + Base64
[ade2ca70] + Dates
[8bb1440f] + DelimitedFiles
[8ba89e20] + Distributed
[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
[4607b0f0] + SuiteSparse
[fa267f1f] + TOML
[8dfed614] + Test
[cf7118a7] + UUIDs
[4ec0a83e] + Unicode
Building SLEEFPirates → `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/67ae90a18aa8c22bf159318300e765fbd89ddf6e/build.log`
Building CRlibm ──────→ `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/9d1c22cff9c04207f336b8e64840d0bd40d86e0e/build.log`
Building TimeZones ───→ `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/2c48caca8f3912857973590a9757e1f86cbbff81/build.log`
Building GLPK ────────→ `~/.julia/scratchspaces/44cfe95a-1eb2-52ea-b672-e2afdf69b78f/86573ecb852e303b209212046af44871f1c0e49c/build.log`
Testing ReachabilityAnalysis
┌ Error: Pkg.Resolve.ResolverError("Unsatisfiable requirements detected for package Plots [91a5bcdd]:\n Plots [91a5bcdd] log:\n ├─possible versions are: 0.12.1-1.6.7 or uninstalled\n ├─restricted to versions 0.25-0.29 by an explicit requirement, leaving only versions 0.25.0-0.29.9\n └─restricted by compatibility requirements with RecipesBase [3cdcf5f2] to versions: 1.0.0-1.6.7 or uninstalled — no versions left\n └─RecipesBase [3cdcf5f2] log:\n ├─possible versions are: 0.4.0-1.1.0 or uninstalled\n └─restricted to versions 1.1.0 by an explicit requirement, leaving only versions 1.1.0", nothing)
└ @ Pkg.Operations /workspace/srcdir/usr/share/julia/stdlib/v1.6/Pkg/src/Operations.jl:1457
Status `/tmp/jl_6ZTvxr/Project.toml`
[3391f64e] CDDLib v0.6.2
[2207ec0c] HybridSystems v0.3.2
[d1acc4aa] IntervalArithmetic v0.16.7
[5c1f47dc] IntervalMatrices v0.6.2
[b4f0291d] LazySets v1.37.10
[d14a8603] MathematicalSystems v0.11.5
[d96e819e] Parameters v0.12.1
[91a5bcdd] Plots v0.29.9
[67491407] Polyhedra v0.6.7
[92933f4c] ProgressMeter v1.4.0
[1e97bd63] ReachabilityAnalysis v0.8.0
[3cdcf5f2] RecipesBase v0.8.0
[731186ca] RecursiveArrayTools v2.7.0
[189a3867] Reexport v0.2.0
[ae029012] Requires v1.0.3
[90137ffa] StaticArrays v0.12.4
[92b13dbe] TaylorIntegration v0.8.3
[314ce334] TaylorModels v0.3.6
[6aa5eb33] TaylorSeries v0.10.7
[3a884ed6] UnPack v1.0.2
[37e2e46d] LinearAlgebra
[de0858da] Printf
[2f01184e] SparseArrays
[8dfed614] Test
Status `/tmp/jl_6ZTvxr/Manifest.toml`
[1520ce14] AbstractTrees v0.3.3
[ec485272] ArnoldiMethod v0.0.4
[4fba245c] ArrayInterface v2.13.3
[6e4b80f9] BenchmarkTools v0.5.0
[b99e7846] BinaryProvider v0.5.10
[6e34b625] Bzip2_jll v1.0.6+4
[3391f64e] CDDLib v0.6.2
[96374032] CRlibm v0.8.0
[49dc2e85] Calculus v0.5.1
[d360d2e6] ChainRulesCore v0.9.10
[523fee87] CodecBzip2 v0.7.2
[944b1d66] CodecZlib v0.7.0
[3da002f7] ColorTypes v0.10.9
[5ae59095] Colors v0.12.4
[bbf7d656] CommonSubexpressions v0.3.0
[e66e0078] CompilerSupportLibraries_jll v0.3.3+0
[88cd18e8] ConsoleProgressMonitor v0.1.2
[d38c429a] Contour v0.5.5
[adafc99b] CpuId v0.2.2
[9a962f9c] DataAPI v1.3.0
[864edb3b] DataStructures v0.17.20
[2b5f629d] DiffEqBase v6.44.3
[163ba53b] DiffResults v1.0.2
[b552c78f] DiffRules v1.0.1
[ffbed154] DocStringExtensions v0.8.3
[90fa49ef] ErrorfreeArithmetic v0.5.2
[6912e4f1] Espresso v0.6.0
[e2ba6199] ExprTools v0.1.2
[8f5d6c58] EzXML v1.1.0
[c87230d0] FFMPEG v0.3.0
[b22a6f82] FFMPEG_jll v4.3.1+2
[fa42c844] FastRounding v0.2.0
[1a297f60] FillArrays v0.9.6
[53c48c17] FixedPointNumbers v0.8.4
[f6369f11] ForwardDiff v0.10.12
[d7e528f0] FreeType2_jll v2.10.1+4
[559328eb] FriBidi_jll v1.0.5+5
[069b7b12] FunctionWrappers v1.1.1
[60bf3e95] GLPK v0.13.0
[3c7084bd] GLPKMathProgInterface v0.5.0
[e8aa6df9] GLPK_jll v4.64.0+0
[781609d7] GMP_jll v6.2.0+2
[28b8d3ca] GR v0.48.0
[4d00f742] GeometryTypes v0.8.3
[42e2da0e] Grisu v1.0.0
[cd3eb016] HTTP v0.8.19
[2207ec0c] HybridSystems v0.3.2
[d25df0c9] Inflate v0.1.2
[83e8ac13] IniFile v0.5.0
[d1acc4aa] IntervalArithmetic v0.16.7
[5c1f47dc] IntervalMatrices v0.6.2
[d2bf35a9] IntervalRootFinding v0.5.4
[d8418881] Intervals v1.4.2
[42fd0dbc] IterativeSolvers v0.8.4
[82899510] IteratorInterfaceExtensions v1.0.0
[682c06a0] JSON v0.21.1
[7d188eb4] JSONSchema v0.3.2
[4076af6c] JuMP v0.21.4
[c1c5ebd0] LAME_jll v3.100.0+2
[2ee39098] LabelledArrays v1.3.0
[b4f0291d] LazySets v1.37.10
[1d6d02ad] LeftChildRightSiblingTrees v0.1.2
[dd192d2f] LibVPX_jll v1.9.0+0
[94ce4f54] Libiconv_jll v1.16.0+6
[093fc24a] LightGraphs v1.3.3
[e6f89c97] LoggingExtras v0.4.2
[bdcacae8] LoopVectorization v0.8.26
[1914dd2f] MacroTools v0.5.5
[dbb5928d] MappedArrays v0.2.2
[b8f27783] MathOptInterface v0.9.17
[fdba3010] MathProgBase v0.7.8
[d14a8603] MathematicalSystems v0.11.5
[739be429] MbedTLS v1.0.2
[c8ffd9c3] MbedTLS_jll v2.16.8+0
[442fdcdd] Measures v0.3.1
[e1d29d7a] Missings v0.4.4
[78c3b35d] Mocking v0.7.1
[46d2c3a1] MuladdMacro v0.2.2
[102ac46a] MultivariatePolynomials v0.3.10
[d8a4904e] MutableArithmetics v0.2.10
[77ba4419] NaNMath v0.3.4
[6fe1bfb0] OffsetArrays v1.3.0
[e7412a2a] Ogg_jll v1.3.4+1
[458c3c95] OpenSSL_jll v1.1.1+5
[efe28fd5] OpenSpecFun_jll v0.5.3+3
[91d4177d] Opus_jll v1.3.1+2
[bac558e1] OrderedCollections v1.3.1
[d96e819e] Parameters v0.12.1
[69de0a69] Parsers v1.0.10
[ccf2f8ad] PlotThemes v1.0.3
[995b91a9] PlotUtils v0.6.5
[91a5bcdd] Plots v0.29.9
[67491407] Polyhedra v0.6.7
[f27b6e38] Polynomials v1.1.9
[33c8b6b6] ProgressLogging v0.1.3
[92933f4c] ProgressMeter v1.4.0
[1e97bd63] ReachabilityAnalysis v0.8.0
[3cdcf5f2] RecipesBase v0.8.0
[731186ca] RecursiveArrayTools v2.7.0
[f2c3362d] RecursiveFactorization v0.1.4
[189a3867] Reexport v0.2.0
[ae029012] Requires v1.0.3
[f2b01f46] Roots v1.0.5
[21efa798] SIMDPirates v0.8.25
[476501e8] SLEEFPirates v0.5.5
[3cc68bcd] SetRounding v0.2.0
[992d4aef] Showoff v0.3.2
[699a6c99] SimpleTraits v0.9.3
[a2af1166] SortingAlgorithms v0.3.1
[276daf66] SpecialFunctions v0.10.3
[90137ffa] StaticArrays v0.12.4
[2913bbd2] StatsBase v0.33.1
[3783bdb8] TableTraits v1.0.0
[92b13dbe] TaylorIntegration v0.8.3
[314ce334] TaylorModels v0.3.6
[6aa5eb33] TaylorSeries v0.10.7
[5d786b92] TerminalLoggers v0.1.2
[f269a46b] TimeZones v1.4.0
[3bb67fe8] TranscodingStreams v0.9.5
[a2a6695c] TreeViews v0.3.0
[3a884ed6] UnPack v1.0.2
[3d5dd08c] VectorizationBase v0.12.33
[02c8fc9c] XML2_jll v2.9.10+2
[a5390f91] ZipFile v0.9.2
[83775a58] Zlib_jll v1.2.11+16
[700de1a5] ZygoteRules v0.2.0
[0ac62f75] libass_jll v0.14.0+3
[f638f0a6] libfdk_aac_jll v0.1.6+3
[f27f6e37] libvorbis_jll v1.3.6+5
[1270edf5] x264_jll v2020.7.14+1
[dfaa095f] x265_jll v3.0.0+2
[56f22d72] Artifacts
[2a0f44e3] Base64
[ade2ca70] Dates
[8bb1440f] DelimitedFiles
[8ba89e20] Distributed
[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
[4607b0f0] SuiteSparse
[fa267f1f] TOML
[8dfed614] Test
[cf7118a7] UUIDs
[4ec0a83e] Unicode
Testing Running tests...
Test Summary: | Pass Total
Flowpipe interface | 27 27
Test Summary: |
Solution interface: initial states | No tests
Test Summary: | Pass Total
Solution interface: time span | 5 5
Test Summary: |
Concrete projection | No tests
WARNING: both LazySets and IntervalMatrices export "scale"; uses of it in module ReachabilityAnalysis must be qualified
Test Summary: | Pass Broken Total
Time-triggered hybrid automaton (HACLD1) | 12 4 16
Test Summary: | Pass Total
Time-triggered solve (EMBrake) | 4 4
Test Summary: | Pass Total
Reach-set projections | 6 6
Test Summary: | Pass Total
Flowpipe constructors | 9 9
Test Summary: | Pass Total
Intersection strategies | 4 4
Test Summary: | Pass Total
INT algorithm | 10 10
Test Summary: | Pass Total
BOX algorithm | 6 6
Test Summary: | Pass Total
GLGM06 algorithm | 6 6
Test Summary: | Pass Total
LGG09 algorithm | 6 6
Test Summary: | Pass Total
ASB07 algorithm | 18 18
Test Summary: | Pass Total
ASB07 with time-triggered hybrid system | 2 2
Test Summary: | Pass Total
BFFPSV18 algorithm: type constructors | 43 43
Test Summary: | Pass Total
TMJets algorithm | 9 9
Test Summary: | Pass Total
TMJets algorithm: linear IVPs | 3 3
Test Summary: | Pass Total
Hybrid utility functions | 9 9
Test Summary: | Pass Total
Bouncing ball: linear solvers | 3 3
Test Summary: | Pass Total
Bouncing ball: nonlinear solvers | 2 2
Test Summary: | Pass Total
Inclusion checks | 8 8
Testing ReachabilityAnalysis tests passed