TCAS error Generate Mutants

[scxzy2]

I successfully used the Milu to create mutants for the example, but I met error when used Milu to create mutants for the tcas.c in SIR. i get these messages:

Milu-Message: 16:42:41.357: Higher Order Mutation Testing System v3.0
Milu-Message: 16:42:41.357: Initialize project
Milu-Message: 16:42:41.357: Project load parameters
Milu-Message: 16:42:41.357: Project Analyse AST
Milu-Message: 16:42:41.357: Libclang parse file
Milu-PF-Message: 16:42:41.377: __underflow
Milu-PF-Message: 16:42:41.377: __uflow
Milu-PF-Message: 16:42:41.377: __overflow
Milu-PF-Message: 16:42:41.377: _IO_getc
Milu-PF-Message: 16:42:41.377: _IO_putc
Milu-PF-Message: 16:42:41.377: _IO_feof
Milu-PF-Message: 16:42:41.377: _IO_ferror
Milu-PF-Message: 16:42:41.377: _IO_peekc_locked
Milu-PF-Message: 16:42:41.377: _IO_flockfile
Milu-PF-Message: 16:42:41.377: _IO_funlockfile
Milu-PF-Message: 16:42:41.377: _IO_ftrylockfile
Milu-PF-Message: 16:42:41.377: _IO_vfscanf
Segmentation fault (core dumped)

so... why this happens?