mu-seq-wrapper.py  -M10000 -s a -t3  -u1  -w15  -i  stateful01_true-unreach-call.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u1  -w15  -i  stateful01_false-unreach-call.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u9  -w45  -i  dekker_safe.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u21 -w17  -i  szymanski_true-unreach-call.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u60 -w9   -i  peterson_true-unreach-call.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u7  -w13  -i  fib-S-Num6-nlc.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u12 -w23  -i  fib-S-Num11-nlc.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u12 -w23  -i  fib-U-Num11-nlc.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u9  -w49  -i  ID-S-Num8-lc.c

mu-seq-wrapper.py  -M10000 -s a -t3  -u4  -w19  -i  3V-S-Num3-nlc.c

mu-seq-wrapper.py  -M10000 -s a -t12 -u10 -w50  -i  27_Boop_simple_vf_false-unreach-call.c

 

## MU-CSeq automatically generates a log file with the name _cs_<input-file>.log