diff options
| -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} |