Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Enable AJAX callbacks in concolic mode. #125

Open
BenSpencer opened this issue Jul 15, 2015 · 1 comment
Open

Enable AJAX callbacks in concolic mode. #125

BenSpencer opened this issue Jul 15, 2015 · 1 comment

Comments

@BenSpencer
Copy link
Contributor

2c3039c 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 BenSpencer mentioned this issue Sep 30, 2015
Open
@BenSpencer
Copy link
Contributor Author

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@BenSpencer