Add test for abort solver thred.