r12793: slicing generates uncompilable code (sliced function called with too few arguments) (csmith) (#1759) · Issues · pub / frama-c