Skip to content
This repository has been archived by the owner on Aug 26, 2021. It is now read-only.

Commit

Permalink
Added links to the readme.
Browse files Browse the repository at this point in the history
  • Loading branch information
@davidhonfi
davidhonfi committed Nov 12, 2015
1 parent ca6fc8b commit e8f4ece
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<img src="http://docs.inf.mit.bme.hu/seviz/images/seviz-logo.png" width="200" />
<img src="https://seviz.visualstudio.com/DefaultCollection/_apis/public/build/definitions/f0992fd0-b212-4fd9-b74b-4be525d6556f/2/badge" />
<a href="http://ftsrg.github.io/seviz" title="ftsrg.github.io/seviz"><img src="http://docs.inf.mit.bme.hu/seviz/images/seviz-logo.png" width="200" /></a>
<a href="http://ftsrg.github.io/seviz" title="ftsrg.github.io/seviz"><img src="https://seviz.visualstudio.com/DefaultCollection/_apis/public/build/definitions/f0992fd0-b212-4fd9-b74b-4be525d6556f/2/badge" /></a>

# Symbolic Execution VisualiZer (SEViz)
# [Symbolic Execution VisualiZer (SEViz)](http://ftsrg.github.io/seviz)

## Description

Expand Down

0 comments on commit e8f4ece

Please sign in to comment.