found one segfault. (not fixed yet)

2025-04-07 15:51:45 -04:00
parent e42e537339
commit 4058b090a0
4 changed files with 287 additions and 181 deletions
--- a/check.sh
+++ b/check.sh
@ -33,6 +33,8 @@ compare_files() {
        diff -q "$file" "$exp" > /dev/null
        if [[ $? -eq 0 ]]; then
            echo -e "${GREEN}[✔] ${PURPLE}$filename ${WHITE}passed.${NOCOLOR}"
+        elif [[ ! -s "$file" ]]; then
+            echo -e "${RED}[✘] ${PURPLE}$filename ${WHITE}failed with an empty file. (did it segfault?)${NOCOLOR}"
        else
            echo -e "\n${RED}[✘] ${PURPLE}$file ${WHITE}failed with an unexpected value...${NOCOLOR}"
            diff --color=always "$file" "$exp"