On 12/01/2015 13:23, Pavel Dovgaluk wrote: >> > What about just using "-icount", since it requires that? > You mean adding more attributes to -icount option? > Or implicitly enabling -icount with -record/replay?
Adding more suboptions to -icount (e.g. rr=record|replay,rrfile=NAME). Paolo
