Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

World-age problem #289

Closed
odow opened this issue Dec 7, 2021 · 2 comments · Fixed by #358
Closed

World-age problem #289

odow opened this issue Dec 7, 2021 · 2 comments · Fixed by #358
Labels
bug Something isn't working top-level analysis a.k.a. virtualprocess

Comments

@odow
Copy link

odow commented Dec 7, 2021

JET (latest release and latest commit) cannot analyze MathOptInterface:

(base) oscar@Oscars-MBP MathOptInterface % ~/julia-1.7 --project=.
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.7.0 (2021-11-30)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

julia> using JET; report_package()
[toplevel-info] virtualized the context of Main (took 0.024 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/MathOptInterface.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/error.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/error.jl (took 0.012 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/indextypes.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/indextypes.jl (took 0.498 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/functions.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/functions.jl (took 0.11 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/sets.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/sets.jl (took 0.292 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/attributes.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/attributes.jl (took 0.348 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/constraints.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/constraints.jl (took 0.041 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/modifications.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/modifications.jl (took 0.014 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/variables.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/variables.jl (took 0.02 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/nlp.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/nlp.jl (took 0.022 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/precompile.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/precompile.jl (took 0.009 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/Utilities.jl
[ Info: Precompiling MathOptInterface [b8f27783-ece8-5eb3-8dc8-9495eed66fee]
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/CleverDicts.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/CleverDicts.jl (took 0.086 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/DoubleDicts.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/DoubleDicts.jl (took 0.047 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/functions.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/functions.jl (took 0.426 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/mutable_arithmetics.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/mutable_arithmetics.jl (took 0.181 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/sets.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/sets.jl (took 0.018 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/constraints.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/constraints.jl (took 0.009 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy/index_map.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy/index_map.jl (took 0.014 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/copy.jl (took 0.082 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/results.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/results.jl (took 0.069 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/variables.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/variables.jl (took 0.008 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/objective_container.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/objective_container.jl (took 0.02 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/variables_container.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/variables_container.jl (took 0.068 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/vector_of_constraints.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/vector_of_constraints.jl (took 0.028 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/struct_of_constraints.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/struct_of_constraints.jl (took 0.052 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/model.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/model.jl (took 1.375 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/sparse_matrix.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/sparse_matrix.jl (took 0.046 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/product_of_sets.jl (took 0.05 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/matrix_of_constraints.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/matrix_of_constraints.jl (took 0.054 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/parser.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/parser.jl (took 0.182 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/mockoptimizer.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/mockoptimizer.jl (took 0.125 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/cachingoptimizer.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/cachingoptimizer.jl (took 0.136 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/universalfallback.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/universalfallback.jl (took 0.094 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/print.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/print.jl (took 0.107 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/lazy_iterators.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/lazy_iterators.jl (took 0.011 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/precompile.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/precompile.jl (took 0.006 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Utilities/Utilities.jl (took 42.866 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/Test.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_attribute.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_attribute.jl (took 0.044 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_basic_constraint.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_basic_constraint.jl (took 0.099 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_conic.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_conic.jl (took 1.471 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_constraint.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_constraint.jl (took 0.137 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_infeasibility_certificates.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_infeasibility_certificates.jl (took 0.141 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_linear.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_linear.jl (took 1.106 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_model.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_model.jl (took 0.458 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_modification.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_modification.jl (took 0.134 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_nonlinear.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_nonlinear.jl (took 0.191 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_objective.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_objective.jl (took 0.095 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_quadratic.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_quadratic.jl (took 0.329 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_solve.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_solve.jl (took 0.348 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_variable.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/test_variable.jl (took 0.123 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Test/Test.jl (took 4.999 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Bridges.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge.jl (took 0.014 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/set_map.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/set_map.jl (took 0.006 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/bridge_optimizer.jl (took 0.193 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/Variable.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/bridge.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/bridge.jl (took 0.038 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/map.jl (took 0.078 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/single_bridge_optimizer.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/single_bridge_optimizer.jl (took 0.012 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/set_map.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/flip_sign.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/flip_sign.jl (took 0.005 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/soc_rsoc.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/soc_rsoc.jl (took 0.006 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/set_map.jl (took 0.042 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/zeros.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/zeros.jl (took 0.011 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/free.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/free.jl (took 0.021 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/vectorize.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/vectorize.jl (took 0.022 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/rsoc_to_psd.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/rsoc_to_psd.jl (took 0.034 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Variable/Variable.jl (took 0.27 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/Constraint.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/bridge.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/bridge.jl (took 0.016 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/map.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/map.jl (took 0.049 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/single_bridge_optimizer.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/single_bridge_optimizer.jl (took 0.015 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/function_conversion.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/functionize.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/functionize.jl (took 0.03 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/function_conversion.jl (took 0.04 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/set_map.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/flip_sign.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/flip_sign.jl (took 0.031 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/soc_rsoc.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/soc_rsoc.jl (took 0.012 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/ltgt_to_interval.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/ltgt_to_interval.jl (took 0.019 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/soc_to_psd.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/soc_to_psd.jl (took 0.032 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/set_map.jl (took 0.125 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/vectorize.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/vectorize.jl (took 0.025 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/scalarize.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/scalarize.jl (took 0.031 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/slack.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/slack.jl (took 0.052 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/interval.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/interval.jl (took 0.05 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/quad_to_soc.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/quad_to_soc.jl (took 0.03 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/soc_to_nonconvex_quad.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/soc_to_nonconvex_quad.jl (took 0.028 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/norm_to_lp.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/norm_to_lp.jl (took 0.059 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/geomean_to_relentr.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/geomean_to_relentr.jl (took 0.028 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/geomean.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/geomean.jl (took 0.046 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/relentr_to_exp.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/relentr_to_exp.jl (took 0.035 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/norm_spec_nuc_to_psd.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/norm_spec_nuc_to_psd.jl (took 0.083 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/square.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/square.jl (took 0.056 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/det.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/det.jl (took 0.091 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/indicator_activate_on_zero.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/indicator_activate_on_zero.jl (took 0.015 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/indicator_sos.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/indicator_sos.jl (took 0.029 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/semi_to_binary.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/semi_to_binary.jl (took 0.036 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/zero_one.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/zero_one.jl (took 0.016 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Constraint/Constraint.jl (took 0.994 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/Objective.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/bridge.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/bridge.jl (took 0.018 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/map.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/map.jl (took 0.017 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/single_bridge_optimizer.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/single_bridge_optimizer.jl (took 0.012 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/functionize.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/functionize.jl (took 0.011 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/slack.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/slack.jl (took 0.019 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Objective/Objective.jl (took 0.084 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/flip_sign.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/flip_sign.jl (took 0.005 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/soc_rsoc.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/soc_rsoc.jl (took 0.01 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/graph.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/graph.jl (took 0.045 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/lazy_bridge_optimizer.jl (took 0.109 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/debug.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/debug.jl (took 0.07 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Bridges/Bridges.jl (took 1.78 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/Benchmarks/Benchmarks.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/Benchmarks/Benchmarks.jl (took 0.33 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/FileFormats.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/utils.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/utils.jl (took 0.033 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/CBF/CBF.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/CBF/read.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/CBF/read.jl (took 0.062 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/CBF/write.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/CBF/write.jl (took 0.056 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/CBF/CBF.jl (took 1.044 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/LP/LP.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/LP/LP.jl (took 0.063 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MOF/MOF.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MOF/nonlinear.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MOF/nonlinear.jl (took 0.271 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MOF/read.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MOF/read.jl (took 0.074 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MOF/write.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MOF/write.jl (took 0.049 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MOF/MOF.jl (took 0.721 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MPS/MPS.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/MPS/MPS.jl (took 0.213 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/NL/NL.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/NL/NLExpr.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/NL/opcode.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/NL/opcode.jl (took 0.015 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/NL/NLExpr.jl (took 0.898 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/NL/NL.jl (took 1.007 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/SDPA/SDPA.jl (took 0.063 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/FileFormats/FileFormats.jl (took 3.172 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/instantiate.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/instantiate.jl (took 0.025 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/deprecate.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/deprecate.jl (took 0.09 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/DeprecatedTest.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/config.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/config.jl (took 0.019 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/modellike.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/modellike.jl (took 0.444 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/contlinear.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/contlinear.jl (took 0.943 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/contconic.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/contconic.jl (took 5.204 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/contquadratic.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/contquadratic.jl (took 1.094 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/intlinear.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/intlinear.jl (took 0.494 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/intconic.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/intconic.jl (took 0.202 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/nlp.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/nlp.jl (took 0.508 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/unit_tests.jl
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/variables.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/variables.jl (took 0.127 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/objectives.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/objectives.jl (took 0.074 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/constraints.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/constraints.jl (took 0.068 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/basic_constraint_tests.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/basic_constraint_tests.jl (took 2.507 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/modifications.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/modifications.jl (took 0.088 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/solve.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/solve.jl (took 0.128 sec)
[toplevel-info] entered into /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/attributes.jl
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/attributes.jl (took 0.034 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/UnitTests/unit_tests.jl (took 3.052 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/DeprecatedTest/DeprecatedTest.jl (took 11.968 sec)
[toplevel-info]  exited from /Users/oscar/.julia/dev/MathOptInterface/src/MathOptInterface.jl (took 68.271 sec)
[toplevel-info] analyzing from top-level definitions ... 3877/5288ERROR: MethodError: no method matching namemap(::Type{MathOptInterface.ActivationCondition})
The applicable method may be too new: running in world age 31319, while current world is 36832.
Closest candidates are:
  namemap(::Type{MathOptInterface.ActivationCondition}) at /Applications/Julia-1.7.app/Contents/Resources/julia/share/julia/base/Enums.jl:201 (method too new to be called from this world context.)
  namemap(::Type{MathOptInterface.FileFormats.MPS.Headers}) at /Applications/Julia-1.7.app/Contents/Resources/julia/share/julia/base/Enums.jl:201 (method too new to be called from this world context.)
  namemap(::Type{MathOptInterface.FileFormats.FileFormat}) at /Applications/Julia-1.7.app/Contents/Resources/julia/share/julia/base/Enums.jl:201 (method too new to be called from this world context.)
  ...
Stacktrace:
  [1] _symbol(x::MathOptInterface.ActivationCondition)
    @ Base.Enums ./Enums.jl:29
  [2] show(io::IOContext{IOBuffer}, x::MathOptInterface.ActivationCondition)
    @ Base.Enums ./Enums.jl:37
  [3] show_typeparams(io::IOContext{IOBuffer}, env::Core.SimpleVector, orig::Core.SimpleVector, wheres::Vector{TypeVar})
    @ Base ./show.jl:640
  [4] show_datatype(io::IOContext{IOBuffer}, x::DataType, wheres::Vector{TypeVar})
    @ Base ./show.jl:1011
  [5] show_datatype
    @ ./show.jl:989 [inlined]
  [6] _show_type(io::IOContext{IOBuffer}, x::Type)
    @ Base ./show.jl:889
  [7] show(io::IOContext{IOBuffer}, x::Type)
    @ Base ./show.jl:881
  [8] show_typeparams(io::IOContext{IOBuffer}, env::Core.SimpleVector, orig::Core.SimpleVector, wheres::Vector{TypeVar})
    @ Base ./show.jl:640
  [9] show_datatype(io::IOContext{IOBuffer}, x::DataType, wheres::Vector{TypeVar})
    @ Base ./show.jl:1011
 [10] _show_type(io::IOContext{IOBuffer}, x::Type)
    @ Base ./show.jl:923
 [11] show(io::IOContext{IOBuffer}, x::Type)
    @ Base ./show.jl:881
 [12] sprint(f::Function, args::Type; context::IOBuffer, sizehint::Int64)
    @ Base ./strings/io.jl:112
 [13] #print_type_stacktrace#485
    @ ./show.jl:2399 [inlined]
 [14] print_type_stacktrace(io::IOBuffer, type::Type)
    @ Base ./show.jl:2399
 [15] show_tuple_as_call(io::IOBuffer, name::Symbol, sig::Type; demangle::Bool, kwargs::Nothing, argnames::Nothing, qualified::Bool, hasfirst::Bool)
    @ Base ./show.jl:2380
 [16] show_tuple_as_call(io::IOBuffer, name::Symbol, sig::Type)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/inferenceerrorreport.jl:129
 [17] sprint(::Function, ::Symbol, ::Vararg{Any}; context::Nothing, sizehint::Int64)
    @ Base ./strings/io.jl:114
 [18] sprint
    @ ./strings/io.jl:108 [inlined]
 [19] get_sig
    @ ~/.julia/packages/JET/zWbZM/src/abstractinterpret/inferenceerrorreport.jl:109 [inlined]
 [20] get_virtual_frame(linfo::Core.MethodInstance)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/inferenceerrorreport.jl:79
 [21] JET.UncaughtExceptionReport(sv::Core.Compiler.InferenceState, throw_calls::Vector{Tuple{Int64, Expr}})
    @ JET ~/.julia/packages/JET/zWbZM/src/analyzers/jetanalyzer.jl:232
 [22] report_uncaught_exceptions!(frame::Core.Compiler.InferenceState, stmts::Vector{Any})
    @ JET ~/.julia/packages/JET/zWbZM/src/analyzers/jetanalyzer.jl:294
 [23] BasicPass
    @ ~/.julia/packages/JET/zWbZM/src/analyzers/jetanalyzer.jl:249 [inlined]
 [24] finish!(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/analyzers/jetanalyzer.jl:173
 [25] _typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:657
 [26] typeinf(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/typeinfer.jl:209
 [27] typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:528
 [28] typeinf_edge(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, method::Method, atypes::Any, sparams::Core.SimpleVector, caller::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/typeinfer.jl:823
 [29] typeinf_edge
    @ ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:347 [inlined]
 [30] abstract_call_method(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, sv::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:504
 [31] abstract_call_method
    @ ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:170 [inlined]
 [32] abstract_call_gf_by_type(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, f::Any, fargs::Vector{Any}, argtypes::Vector{Any}, atype::Any, sv::Core.Compiler.InferenceState, max_methods::Int64)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:105
 [33] abstract_call_gf_by_type
    @ ~/.julia/packages/JET/zWbZM/src/analyzers/jetanalyzer.jl:338 [inlined]
 [34] abstract_call_known(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, f::Any, fargs::Vector{Any}, argtypes::Vector{Any}, sv::Core.Compiler.InferenceState, max_methods::Int64)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:1342
 [35] abstract_call(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, fargs::Vector{Any}, argtypes::Vector{Any}, sv::Core.Compiler.InferenceState, max_methods::Int64)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:1397
 [36] abstract_call(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, fargs::Vector{Any}, argtypes::Vector{Any}, sv::Core.Compiler.InferenceState, max_methods::Int64) (repeats 2 times)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:226
 [37] abstract_eval_statement(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, e::Any, vtypes::Vector{Any}, sv::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:1534
 [38] abstract_eval_statement(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, e::Any, vtypes::Vector{Any}, sv::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:97
 [39] typeinf_local(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:1918
 [40] typeinf_nocycle(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:2014
 [41] _typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:600
 [42] typeinf(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/typeinfer.jl:209
 [43] typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:528
 [44] typeinf_edge(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, method::Method, atypes::Any, sparams::Core.SimpleVector, caller::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/typeinfer.jl:823
 [45] typeinf_edge
    @ ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:347 [inlined]
 [46] abstract_call_method(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, method::Method, sig::Any, sparams::Core.SimpleVector, hardlimit::Bool, sv::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:504
 [47] abstract_call_method
    @ ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:170 [inlined]
 [48] abstract_call_gf_by_type(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, f::Any, fargs::Vector{Any}, argtypes::Vector{Any}, atype::Any, sv::Core.Compiler.InferenceState, max_methods::Int64)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:105
 [49] abstract_call_gf_by_type(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, f::Any, fargs::Vector{Any}, argtypes::Vector{Any}, atype::Any, sv::Core.Compiler.InferenceState, max_methods::Int64)
    @ JET ~/.julia/packages/JET/zWbZM/src/analyzers/jetanalyzer.jl:338
 [50] abstract_call(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, fargs::Vector{Any}, argtypes::Vector{Any}, sv::Core.Compiler.InferenceState, max_methods::Int64)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:1395
 [51] abstract_call(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, fargs::Vector{Any}, argtypes::Vector{Any}, sv::Core.Compiler.InferenceState, max_methods::Int64) (repeats 2 times)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:226
 [52] abstract_eval_statement(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, e::Any, vtypes::Vector{Any}, sv::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:1534
 [53] abstract_eval_statement(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, e::Any, vtypes::Vector{Any}, sv::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:97
 [54] typeinf_local(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:1918
 [55] typeinf_nocycle(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/abstractinterpretation.jl:2014
 [56] _typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:600
 [57] typeinf(interp::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ Core.Compiler ./compiler/typeinfer.jl:209
 [58] typeinf(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, frame::Core.Compiler.InferenceState)
    @ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/typeinfer.jl:528
 [59] analyze_frame!
    @ ~/.julia/packages/JET/zWbZM/src/JET.jl:755 [inlined]
 [60] analyze_method_instance!(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, mi::Core.MethodInstance; set_entry::Bool)
    @ JET ~/.julia/packages/JET/zWbZM/src/JET.jl:744
 [61] #analyze_method_signature!#120
    @ ~/.julia/packages/JET/zWbZM/src/JET.jl:727 [inlined]
 [62] #analyze_method!#119
    @ ~/.julia/packages/JET/zWbZM/src/JET.jl:712 [inlined]
 [63] analyze_from_definitions!(analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, res::JET.VirtualProcessResult)
    @ JET ~/.julia/packages/JET/zWbZM/src/toplevel/virtualprocess.jl:392
 [64] virtual_process(x::String, filename::String, analyzer::JET.JETAnalyzer{JET.BasicPass{typeof(JET.basic_function_filter)}}, config::JET.ToplevelConfig{Union{Expr, Symbol}})
    @ JET ~/.julia/packages/JET/zWbZM/src/toplevel/virtualprocess.jl:311
 [65] report_text(text::String, filename::String; analyzer::Type{JET.JETAnalyzer}, source::String, jetconfigs::Base.Pairs{Symbol, Any, Tuple{Symbol, Symbol, Symbol}, NamedTuple{(:concretization_patterns, :analyze_from_definitions, :toplevel_logger), Tuple{Vector{Symbol}, Bool, IOContext{Base.TTY}}}})
    @ JET ~/.julia/packages/JET/zWbZM/src/JET.jl:1001
 [66] report_file(filename::String; __default_configs::Tuple{Pair{Symbol, IOContext{Base.TTY}}, Pair{Symbol, Bool}, Pair{Symbol, Vector{Symbol}}}, source::Nothing, jetconfigs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
    @ JET ~/.julia/packages/JET/zWbZM/src/JET.jl:824
 [67] report_package(package::Nothing; analyze_from_definitions::Bool, concretization_patterns::Vector{Symbol}, jetconfigs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
    @ JET ~/.julia/packages/JET/zWbZM/src/JET.jl:965
 [68] report_package (repeats 2 times)
    @ ~/.julia/packages/JET/zWbZM/src/JET.jl:960 [inlined]

julia> 

(MathOptInterface) pkg> st
     Project MathOptInterface v0.10.6
      Status `~/.julia/dev/MathOptInterface/Project.toml`
  [6e4b80f9] BenchmarkTools v1.2.1
  [523fee87] CodecBzip2 v0.7.2
  [944b1d66] CodecZlib v0.7.0
  [682c06a0] JSON v0.21.2
  [d8a4904e] MutableArithmetics v0.3.1
  [bac558e1] OrderedCollections v1.4.1
  [37e2e46d] LinearAlgebra
  [de0858da] Printf
  [2f01184e] SparseArrays
  [8dfed614] Test
  [4ec0a83e] Unicode

(MathOptInterface) pkg> activate @v1.7
  Activating project at `~/.julia/environments/v1.7`

(@v1.7) pkg> st
      Status `~/.julia/environments/v1.7/Project.toml`
  [6e4b80f9] BenchmarkTools v1.2.1
  [c3a54625] JET v0.5.2 `https://github.com/aviatesk/JET.jl.git#master`
  [295af30f] Revise v3.1.20
  [aa65fe97] SnoopCompile v2.8.0
  [e2b509da] SnoopCompileCore v2.8.0
@goerch
Copy link
Contributor

goerch commented Dec 8, 2021

[16] show_tuple_as_call(io::IOBuffer, name::Symbol, sig::Type)
@ JET ~/.julia/packages/JET/zWbZM/src/abstractinterpret/inferenceerrorreport.jl:129

I believe this is already under investigation.

@goerch
Copy link
Contributor

goerch commented Dec 8, 2021 •
edited

Indeed, with the referenced PR and JETs main I'm able to successfully check MathOptInterface v0.10.6 on Julia 1.7.0: MathOptInterface.txt

@aviatesk aviatesk mentioned this issue Jan 5, 2022
Closed
@aviatesk aviatesk added bug Something isn't working top-level analysis a.k.a. virtualprocess labels Jan 5, 2022
@odow odow mentioned this issue May 23, 2022
Closed
@aviatesk aviatesk mentioned this issue Jun 22, 2022
Merged
@odow odow mentioned this issue Sep 18, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working top-level analysis a.k.a. virtualprocess
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

make signature printing lazy aviatesk/JET.jl
3 participants
@goerch @odow @aviatesk