We should write a manual for the tracechecker (especially the CSP dialect, CSPjassda, that is used by it.)
Log in to post a comment.