LTTng 0.18 reverts the formal-verif fix patch, which was broken since LTTng
0.14.<br>
LTTng 0.19 really just fixes the "author" in the lttng git tree.<br>
LTTng 0.18 reverts the formal-verif fix patch, which was broken since LTTng
0.14.<br>
LTTng 0.19 really just fixes the "author" in the lttng git tree.<br>