From 660a06e94247149e1a01532ee2ee6cf534f127fe Mon Sep 17 00:00:00 2001 From: Nguyễn Gia Phong Date: Wed, 3 Jan 2024 18:38:49 +0900 Subject: Adjust abstract page vertically --- abstract.tex | 1 + 1 file changed, 1 insertion(+) 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} -- cgit 1.4.1