Zero leaks is a good number
@@ -31,7 +31,7 @@ jobs:
echo "running picoquic_ct returns $QUICRESULT "
cat sanity.txt
leaked=`grep "SUMMARY: AddressSanitizer:" sanity.txt | cut -d ' ' -f 3`
- previous_leak=800000
+ previous_leak=0
if [ ! -z "$leaked" ]; then
if [ $leaked -gt $previous_leak ]; then
echo "$leaked > $previous_leak"; exit 1;
