import "adder.act";
import sim; // import simulation namespace

defproc test()
{
    adder a;
    sim::source_seq<32, // 32-bit data
                    false, // don't repeat the sequence of values
                    3, // three data values
                    {3,5,2}  // the data values
                    > s1(a.A);
    sim::source_seq<32, false, 3, {7,9,3}> s2(a.B);
    sim::sink<true, // log output
              32  // 32-bit
              > sx(a.C);
 }