Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update README.md #1

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Update README.md #1

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ capable of generating loop invariants in an expressive and decisive language and
guarantees of invariant quality. A summary of a loop captures the relationship between loop inputs and
outputs as a set of symbolic constraints. For instance, we can use a loop summary to check program
properties after a loop; and in symbolic execution we can use it to guide test case generation.
The aim of this study is to explain the interlacing of multiple paths in a nested or non-nested loop and
The aim of this study is to explain the interlacing of the multiple paths in a nested or non-nested loop and
to generate a summarization of disjunctive loops for such multi-path loops.


Expand Down Expand Up @@ -61,4 +61,4 @@ Quick start
1. (optional) create virtual env ex. mkvirtualenv mytest_env
2. pip install -r requirements.txt
3. python manage.py migrate
4. python manage.py runserver
4. python manage.py runserver