Skip to content

Commit

Permalink
Fix CI
Browse files Browse the repository at this point in the history
  • Loading branch information
blegat committed Mar 4, 2020
1 parent 46913df commit 7f1649b
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions test/PEDJ16s4.jl
Original file line number Diff line number Diff line change
Expand Up @@ -76,8 +76,6 @@ const expected_lb = expected_ub ./ ratio
if d == 1
if v_0 == 5
@test psw == msbp
elseif v_0 == 3 || v_0 == 4
@test psw == sap || psw == msnp
else
@test psw == msnp
end
Expand All @@ -88,6 +86,9 @@ const expected_lb = expected_ub ./ ratio
elseif d <= 3
if 2 <= d && v_0 == 3
@test psw == sbp
elseif d == 1 && v_0 in [3, 4]
# See https://travis-ci.org/blegat/SwitchOnSafety.jl/jobs/655778174#L568-L665
@test psw == sap || psw == snp
else
@test psw == snp
end
Expand Down

0 comments on commit 7f1649b

Please sign in to comment.