Interval: handle negative multiplication
Merged
requested to merge patrick.jaap_at_tu-dresden.de/dune-solvers:feature/interval-multiplication into master
Status | Pipeline | Created by | Stages | Actions |
|---|---|---|---|---|
Passed 00:22:38
|  | Stage: test |
Download artifacts
No artifacts found |