Add multiplication/division iff coeff > 1

2 jobs for VERIPB2 in 40 minutes and 9 seconds (queued for 17 seconds)
Status Name Job ID Coverage
  Build
passed maven38-java11 #65634

00:20:08

 
  Test
passed maven38-java16 #65635

00:20:01