Code

Fix warnings raised by linter#3273

Code

Merged

schillic merged 5 commits intomasterJuliaReach/LazySets.jl:masterfrom schillic/linterJuliaReach/LazySets.jl:schillic/linterCopy head branch name to clipboardApr 16, 2023

+38-36

Commits

Commits on Apr 7, 2023

• use isnothing instead of == nothing

  schillic

  committed
  bb2db76

• fix argument error

  schillic

  committed
  692601e

• resolve linter error

  schillic

  committed
  649eb98

• use kwargs in default default_lp_solver_polyhedra method

  schillic

  committed
  411666e

• annotate methods for linter

  schillic

  committed
  f22c773