diff options
| author | Nguyễn Gia Phong <cnx@loang.net> | 2024-01-03 18:38:49 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-01-03 18:38:49 +0900 |
| commit | 660a06e94247149e1a01532ee2ee6cf534f127fe (patch) | |
| tree | c0770655b5cf424d3430dcc4d99a00a71190911a | |
| parent | be9f43d33afa4753c1d8d763fb5ef9100287c111 (diff) | |
| download | thesis-660a06e94247149e1a01532ee2ee6cf534f127fe.tar.gz | |
| -rw-r--r-- | abstract.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/abstract.tex b/abstract.tex index 28fce6a..cc06f09 100644 --- a/abstract.tex +++ b/abstract.tex @@ -11,5 +11,6 @@ and semi-automatically captured outputs. Its implementation \psychic{} based on \klee{} is evaluated on patches automatically generated for toy programs in the \textsc{IntroClass} benchmark, showing promising preliminaries. +\vfill \end{abstract} \thispagestyle{empty} |