bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] dfa: save memory for states


From: Bruno Haible
Subject: Re: [PATCH] dfa: save memory for states
Date: Tue, 11 Oct 2016 07:30:16 +0200
User-agent: KMail/4.8.5 (Linux/3.8.0-44-generic; KDE/4.8.5; x86_64; ; )

Hi Norihiro,

> $ seq -f '%g bottoms bear on the wall' 600 >600
> 
> - before
> 
> $ time -p env LC_ALL=C src/grep -vf ~/600 ~/600
> real 3.70
> user 2.26
> sys 1.42
> 
> - after
> 
> $ time -p env LC_ALL=C src/grep -vf ~/600 ~/600
> real 2.57
> user 2.20
> sys 0.31

Terrific! Congratulations and thank you!!

Bruno




reply via email to

[Prev in Thread] Current Thread [Next in Thread]