-package com.sun.vlsi.chips.marina.test;
+package edu.berkeley.fleet.marina;
import com.sun.electric.tool.simulation.test.*;
import java.util.List;
if (bv.getNumBits()!=expected)
throw new RuntimeException("expected BitVector of length " + expected + ", but got " + bv.getNumBits() +" in " + bv);
}
-}
\ No newline at end of file
+}