projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77aaabd) | patch
an example showing empty reach state propagation that we considered for CC submission...
authorjjenista <jjenista>
Mon, 11 Oct 2010 19:09:04 +0000 (19:09 +0000)
committerjjenista <jjenista>
Mon, 11 Oct 2010 19:09:04 +0000 (19:09 +0000)
commit7033474550adbe3265ca7ffe404c717e760cf865
tree682fe96d1a87f73b5fe3dc53e837af3828f2308etree | snapshot
parent77aaabdf59bc4a475f8544a5dda6471e23b9c5d7commit | diff
an example showing empty reach state propagation that we considered for CC submission, and an example of generating reach graphs at a desired program point
Robust/src/Tests/disjoint/cc-submission-example/makefile [new file with mode: 0644] blob
Robust/src/Tests/disjoint/cc-submission-example/test.java [new file with mode: 0644] blob
Robust/src/Tests/disjoint/tiny/makefile [new file with mode: 0644] blob
Robust/src/Tests/disjoint/tiny/test.java [new file with mode: 0644] blob
Irvine Research Compiler