static void Main(string[] args) { DVCounter src = new DVCounter(new DVInt32(1), 10); DVVector dst = new DVVector("int32_t", 10); TRTC.Copy(src, dst); print_array((int[])dst.to_host()); }
static void Main(string[] args) { TRTC.Set_Verbose(); // just to verify that it compiles DVCounter src = new DVCounter(new DVInt32(5), 10); DVDiscard sink = new DVDiscard("int32_t"); TRTC.Copy(src, sink); }