make cases for lowstar_endianness consistent#252

franziskuskiefer wants to merge 3 commits into

masterFStarLang/karamel:masterfrom

franziskus/fix-path-casesFStarLang/karamel:franziskus/fix-path-casesCopy head branch name to clipboard