Skip to content

Commit

Permalink
Issue #5: reclassification.
Browse files Browse the repository at this point in the history
  • Loading branch information
@enzet
enzet committed Jun 27, 2017
1 parent 716a82d commit bb5accf
Show file tree
Hide file tree
Showing 2 changed files with 35 additions and 40 deletions.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ Diagram highlights some major tools and ideas of pure symbolic execution, dynami
Preview
-------

:warning: PNG preview could be outdated. See [`diagram/symbolic-execution.svg`](symbolic-execution.svg) for the latest version.
:warning: PNG preview could be outdated. See [`symbolic-execution.svg`](diagram/symbolic-execution.svg) for the latest version.

![Preview](https://raw.github.com/enzet/dynamic-symbolic-execution/master/diagram/symbolic-execution.png)

Expand Down

0 comments on commit bb5accf

Please sign in to comment.