Adding a feature of emitting all errors in same path for TX and KLEE. It useful for achieving MC/DC. Also, added a command line option to enable this feature whenever user wants to use. By default it is off, and to use we need to use this command "-emit-all-errors-in-same-path=true".
Adding a feature of emitting all errors in same path for TX and KLEE. It useful for achieving MC/DC. Also, added a command line option to enable this feature whenever user wants to use. By default it is off, and to use we need to use this command "-emit-all-errors-in-same-path=true".