search

tbigot / tpms

Tree Pattern Matching Suite
Other
1 stars 0 forks source link

computations : acceptor leaves are sometimes masked #16

Closed tbigot closed 11 years ago

tbigot commented 11 years ago

Sometimes, in the result file, one can find:

; acceptor-leaves-0:

Without leaf.

It seems to happen when the acceptor is a leaf.

tbigot commented 11 years ago

Was due to the fact the leaf case was managed in a wrong way.