Actions
Feature #1685
openMake BLAST understand and verify recursion
Start date:
08/24/2011
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
As said in bug #1684, BLAST has a nearly complete support for recursive calls (perhaps, it was implemented for context-free verification mode).
The lval_maps should be push-ed and pop-ed on recursive calls (actually, more work on this matter is required).
We might want to consider this possibility and to explore if it helps us and if it's actually that easy.
Actions