PAC-MAN now creates a trace of function sequence as error witness, and provides a template in case no functions are in the given program.
Now, witness is in a prettier format.
PAC-MAN now creates a trace of function sequence as error witness, and provides a template in case no functions are in the given program.
Now, witness is in a prettier format.