1. The VP compiler has absolutely no memory loss issues (at least in my application). I run regular tests that calculate billions of chess moves and have never seen a memory leak. This includes tests that take multiple days to complete.
2. Delayed calculated constants calculated by predicates--not called unless you actually need to calculate a value.
Code: Select all
facts
pos_bits_w : c_bb := get_pos_bits_w_() [constant]. % If I don't try to access pow_bits_w, it won't be calculated
pos_bits_b : c_bb := get_pos_bits_b_() [constant]. % and once calculated, it can't be changed!
Cheers,
CHoibakk