diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-09-10 12:56:16 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-09-10 12:56:16 +0100 |
commit | c8f7291d07269c279f414e185f685c2d5d6160f5 (patch) | |
tree | 997f7b3d7bf453b355bcd0747c052fd83a5b70a8 /eval.tex | |
parent | 796e4081cfb7a17ad5c3444729989ad640b7b4a5 (diff) | |
download | fccm21_esrhls-c8f7291d07269c279f414e185f685c2d5d6160f5.tar.gz fccm21_esrhls-c8f7291d07269c279f414e185f685c2d5d6160f5.zip |
Add bugs to evaluation section
Diffstat (limited to 'eval.tex')
-rw-r--r-- | eval.tex | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -70,6 +70,20 @@ int main() { return un.a; } \caption{This crashes in Legup 4.0.}\label{fig:legup_crash2} \end{figure} +\begin{figure}\centering +\begin{minted}{c} +volatile int a = 0; +int b = 1; + +int main() { + int d = 1; + if (d + a) b || 1; + else b = 0; + return b; +} +\end{minted} +\caption{This crashes in Legup 4.0.}\label{fig:legup_crash2} +\end{figure} \NR{ What we need for this section: |