Updates to isa-test