James McCoy 27a7a4d384 Use abort() instead of assert(false) for things that should never happen il y a 3 ans
..
klee 27a7a4d384 Use abort() instead of assert(false) for things that should never happen il y a 3 ans