// See LICENSE.txt for license details.
package examples

import chisel3.iotesters.{PeekPokeTester, Driver, ChiselFlatSpec}

class sub32Tests(c: sub32) extends PeekPokeTester(c) {
  for (t <- 0 until 16) {
    val rnd0 = rnd.nextInt(16)
    val rnd1 = rnd.nextInt(16)
    poke(c.io.in1,   rnd0)
    poke(c.io.in2,   rnd1)
    step(1)
    val rsub = rnd0+(~rnd1)+1
    expect(c.io.out, rsub)
  }
}

class sub32Tester extends ChiselFlatSpec {
  behavior of "sub32"
  backends foreach {backend =>
    it should s"correctly add randomly generated numbers $backend" in {
      Driver(() => new sub32, backend)(c => new sub32Tests(c)) should be (true)
    }
  }
}