Skip to content

PAC-MAN v1.0.8

Compare
Choose a tag to compare
@usefulalgorithm usefulalgorithm released this 13 Jan 02:39
· 1 commit to master since this release

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.