dhauzar
Results
2
issues of
dhauzar
This pull request contains patches we wrote with the aim to make BO work on the SIL generated by the Infer Ada frontend (developed at AdaCore). Due to the size...
CLA Signed
We faced issues with handling paths on Windows and case sensitivity. For example, when `Fpath.relativize` is called with the root path created from a string where a Windows drive letter...