package com.sun.vlsi.chips.marina.test;
/* -*- tab-width: 4 -*- */
-import com.sun.async.test.BitVector;
-import com.sun.async.test.ChainControl;
-import com.sun.async.test.ChipModel;
-import com.sun.async.test.JtagTester;
-import com.sun.async.test.NanosimModel;
-import com.sun.async.test.VerilogModel;
-import com.sun.async.test.*;
+import com.sun.electric.tool.simulation.test.*;
import edu.berkeley.fleet.api.Instruction;
import edu.berkeley.fleet.marina.MarinaPath;