Open jbrillon opened 1 year ago
See: https://github.com/dougshidong/PHiLiP/pull/171/files#r1104738610 Screenshot of discussion:
See: https://github.com/dougshidong/PHiLiP/pull/171/files#r1104738610 Screenshot of discussion:![image](https://github.com/dougshidong/PHiLiP/assets/43619715/562b5b7e-e9ed-41a0-9469-f32aad92072b)