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

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

class Adder32Tests(c: Adder32) 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 rsum = rnd0+rnd1
    expect(c.io.out, rsum)
  }
}

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