Clear ArrayTransformer::ack_pair between queries

[Khoo Yit Phang]

Hi,

I've been tracking down some error (segfault/assertion failures) that seems to occur with when arrays are used and multiple queries are made (e.g., using the C interface). I think the problem is that ArrayTransformer::ack_pair (introduced in revision 1659) should be cleared between queries in ArrayTransformer::ClearAllTables, otherwise stale Ackermann encodings will be carried between queries. Does that sound right?

Yit
February 21, 2013

[Khoo Yit Phang]

Hi,

Ping! Any feedback? For reference, here's my patch:

https://bitbucket.org/khooyp/stp-khooyp/src/62cf022d9f0ac4136d3e9fae90da2ea35cb32304/clear-ack-pair

and the SVN revision it patches:

https://bitbucket.org/khooyp/stp/commits/b444fc0099bc8a4574f3e0df77f201ce1210256e

Yit
February 21, 2013