Attack generation for Gauntlt using Thor