Skip to content

effects mistake with refining inconsistent errors to always-throws #53613

Closed

Description

(NeuralNetworkReachability) pkg> test
...
     Testing Running tests...
Test Summary:                      | Pass  Total  Time
Optional dependencies (not loaded) |    2      2  0.2s

[43958] signal 4 (1): Illegal instruction: 4
in expression starting at /Users/kristoffercarlsson/PkgEvalAnalysis/dev/NeuralNetworkReachability.jl/test/ForwardAlgorithms/forward.jl:169
Verisig at /Users/kristoffercarlsson/PkgEvalAnalysis/dev/NeuralNetworkReachability.jl/src/ForwardAlgorithms/Verisig.jl:26
macro expansion at /Users/kristoffercarlsson/PkgEvalAnalysis/dev/NeuralNetworkReachability.jl/test/ForwardAlgorithms/forward.jl:184 [inlined]
macro expansion at /Users/kristoffercarlsson/julia1.11/usr/share/julia/stdlib/v1.11/Test/src/Test.jl:1700 [inlined]
top-level scope at /Users/kristoffercarlsson/PkgEvalAnalysis/dev/NeuralNetworkReachability.jl/test/ForwardAlgorithms/forward.jl:170
_jl_invoke at /Users/kristoffercarlsson/julia1.11/src/gf.c:2945
jl_toplevel_eval_flex at /Users/kristoffercarlsson/julia1.11/src/toplevel.c:934
jl_toplevel_eval_flex at /Users/kristoffercarlsson/julia1.11/src/toplevel.c:886
ijl_toplevel_eval at /Users/kristoffercarlsson/julia1.11/src/toplevel.c:952 [inlined]
ijl_toplevel_eval_in at /Users/kristoffercarlsson/julia1.11/src/toplevel.c:994
eval at ./boot.jl:428 [inlined]
include_string at ./loading.jl:2486
_jl_invoke at /Users/kristoffercarlsson/julia1.11/src/gf.c:2926
_include at ./loading.jl:2546
include at ./sysimg.jl:38
unknown function (ip: 0x119403739)
_jl_invoke at /Users/kristoffercarlsson/julia1.11/src/gf.c:2926
jl_apply at /Users/kristoffercarlsson/julia1.11/src/./julia.h:2165 [inlined]
do_call at /Users/kristoffercarlsson/julia1.11/src/interpreter.c:126
eval_stmt_value at /Users/kristoffercarlsson/julia1.11/src/interpreter.c:174
eval_body at /Users/kristoffercarlsson/julia1.11/src/interpreter.c:657
eval_body at /Users/kristoffercarlsson/julia1.11/src/interpreter.c:539
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

Labels

backport 1.11Change should be backported to release-1.11bugIndicates an unexpected problem or unintended behaviorcompiler:effectseffect analysis

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions