test_abcloop - automatically test handling of loops in abc command

yosys> help test_abcloop

test_abcloop [options]

Test handling of logic loops in ABC.

-n {integer}

create this number of circuits and test them (default = 100).

-s {positive_integer}

use this value as rng seed value (default = unix time).