push isa-sim,tests