diff options
author | Yann Herklotz <ymh15@ic.ac.uk> | 2021-01-17 14:53:20 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2021-01-17 18:58:59 +0000 |
commit | 83bc9bb0fb70d36b61dbe2f23d216b0fa09f36f8 (patch) | |
tree | 06121b85a33c60002fba8dbe29972d0676f99d4c /main.tex | |
parent | 1c7fba06a2bcdf2d027ca23a939242ce3c71197c (diff) | |
download | fccm21_esrhls-83bc9bb0fb70d36b61dbe2f23d216b0fa09f36f8.tar.gz fccm21_esrhls-83bc9bb0fb70d36b61dbe2f23d216b0fa09f36f8.zip |
Update on Overleaf.
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ \newcommand\totaltestcases{6700} \newcommand\totaltestcasefailures{272} -\newcommand\numuniquebugs{6} +\newcommand\numuniquebugs{7} \newcommand\vivadotestcases{3645} \theoremstyle{definition} |