Skip to content

Commit

Permalink
test: mark edge case getu type inference as broken
Browse files Browse the repository at this point in the history
  • Loading branch information
AayushSabharwal committed Jun 17, 2024
1 parent 0ad5fb8 commit 4740c98
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions test/downstream/symbol_indexing.jl
Original file line number Diff line number Diff line change
Expand Up @@ -261,7 +261,9 @@ for (sym, val, check_inference) in [
([x, [x[1] + y, y], (x[1] + y, y_idx)],
[[i, [k, j], (k, j)] for (i, j, k) in zip(x_val, y_val, obs_val)], false)
]
if check_inference
if check_inference === missing
@test_broken @inferred getu(prob, sym)(sol)
elseif check_inference
@inferred getu(prob, sym)(sol)
end
@test getu(prob, sym)(sol) == val
Expand Down Expand Up @@ -461,7 +463,7 @@ for (sym, val, buffer, check_inference) in [
end
end

int = init(sol.prob.p, Tsit5())
int = init(sol.prob, Tsit5())
step!(int, 0.1, true)
ud1obsval = vcat(ud1val[2:end], int.ps[Hold(ud1)])

Expand Down

0 comments on commit 4740c98

Please sign in to comment.