https://bugs.libre-soc.org/show_bug.cgi?id=316 --- Comment #31 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> --- try running a different formal test that is known to already work. -- You are receiving this mail because: You are on the CC list for the bug.