Skip to content

unexpected robin_hood::map overflow during translation

% genltl --tv-f1=14 | ltl2tgba -GCD -xwdba-minimize=0 --low --stats=%s,%rs
15,0.0872696s
% genltl --tv-f1=15 | ltl2tgba -GCD -xwdba-minimize=0 --low --stats=%s,%rs
ltl2tgba: robin_hood::map overflow