Artemis icon indicating copy to clipboard operation
Artemis copied to clipboard

Published 20 hours ago • verified publisher icon cs-au-dk

Enable AJAX callbacks in concolic mode.

Open BenSpencer opened this issue 9 years ago • 1 comments

2c3039cbdc adds synchronised AJAX callbacks to the manual and server modes. This would probably be useful for concolic mode as well. At the moment I think concolic mode captures all AJAX responses but never allows them to trigger.

BenSpencer avatar Jul 15 '15 16:07 BenSpencer

Ideally, the whole async events system for timers and AJAX which we use in server mode would be enabled in concolic mode.

BenSpencer avatar Jun 16 '16 16:06 BenSpencer