diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-09-14 22:59:18 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-09-14 22:59:18 +0100 |
commit | 6dc7d190da25353b8b733b7a929dbe83a28d7acc (patch) | |
tree | b0b0bade38633065c858c1a60ac7f7f516a534f7 | |
parent | ea2eb16c0b6171e50788bd660d964986fd509e72 (diff) | |
download | fccm21_esrhls-6dc7d190da25353b8b733b7a929dbe83a28d7acc.tar.gz fccm21_esrhls-6dc7d190da25353b8b733b7a929dbe83a28d7acc.zip |
Add more
-rw-r--r-- | eval_rewrite.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/eval_rewrite.tex b/eval_rewrite.tex index e464997..d1df55b 100644 --- a/eval_rewrite.tex +++ b/eval_rewrite.tex @@ -101,7 +101,7 @@ In the code above, \texttt{b} has value 1 when run in GCC, but has value 0 when \subsubsection{Vivado Miscompilation} -The following code does not output the right value when compiled with Vivado 2019.2 and GCC. +The following code does not output the right value when compiled with Vivado 2019.2 and GCC, as it returns \texttt{0x0} with Vivado whereas it should be returning \texttt{0xF}. This test case is much longer compared to the other test cases that were reduced and could not be made any smaller. \begin{figure} \begin{minted}{c} |