fix asan.lst and good.lst

rurban · Nov 13, 2024 · 7b05c11 · 7b05c11
1 parent 34d46c0
commit 7b05c11
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/GNUmakefile b/GNUmakefile
@@ -162,7 +162,7 @@ tests.lst: $(ALLSRC)
 good.lst: algocfg
 	./algocfg good | tr ' ' '\n' >$@
 asan.lst: algocfg
-	./algocfg good 0 | perl -nle'%bad=map{$$_=>1}split/ /;for(split/ /,qx"./algocfg asan"){print $$_ unless $$bad{$$_}}' >$@
+	./algocfg good 0 | perl -nle'%bad=map{$$_=>1}split/ /;for(split/ /,qx"./algocfg asan"){print $$_ if $$_ ne "\n" and !$$bad{$$_}}' >$@
 
 ifeq (esbmc, $(CBMC))
 CBMC_ARGS = -Isource/algos -DCBMC -DESBMC

diff --git a/good.lst b/good.lst
@@ -113,7 +113,6 @@ bxs6
 bxs8
 fs-w1
 fs-w2
-fs-w4
 fs-w6
 fs-w8
 fsbndm-w1
-Original file line number
+Diff line change
@@ Expand Up / @@ -113,7 +113,6 @@ bxs6 @@
     bxs8
     fs-w1
     fs-w2
-    fs-w4
     fs-w6
     fs-w8
     fsbndm-w1
@@ Expand Down @@