MichaelStrothjohann

One of many interpretations: K stands for the first letter of Matthias' last name

yes, read README, how sv2v is used

I confirm the reported bug. Interestingly, abc works as expected when in flow/scripts/abc_speed.script the last lines ``` buffer -c topo stime -c upsize -c dnsize -c ``` be replaced by:...

> Should that be reported to yosyshq or directly to abc? From the above findings ('-c' in abc_speed.script) i guess : abc.