Coverage remained the same at 68.56% when pulling 9b4b5d414f410a1f599f40198551b0227666ff84 on oasis into 32d9912bac5135786dba191157964ea1d35cbc50 on master.
Coverage remained the same at 68.56% when pulling 2cd15a9f516303b522688d2ca2f488efc9a6ba59 on oasis into 32d9912bac5135786dba191157964ea1d35cbc50 on master.
Oasis should not be a dependency for installation, but only be used by developpers.
That is why some files should be versionned, even if automatically generated.
This PR include fixes from @c-cube's PR with str and unix dependencies fixed.