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

TESTAR latestState is not updated in specific system protocols #381

Closed
ferpasri opened this issue Jan 15, 2024 · 0 comments · Fixed by #382
Closed

TESTAR latestState is not updated in specific system protocols #381

ferpasri opened this issue Jan 15, 2024 · 0 comments · Fixed by #382
Assignees
@ferpasri
Labels
priority: high status: pending merge tested and pending to merge into master type: bug

Comments

@ferpasri
Copy link
Member

TESTAR latestState is not updated in specific system protocols.

TESTAR_dev/testar/src/org/testar/protocols/WebdriverProtocol.java

Line 73 in a672965

protected State latestState;

This can provoke TESTAR to crash if used the latestState to execute a Verdict

TESTAR_dev/testar/resources/settings/02_webdriver_parabank/Protocol_02_webdriver_parabank.java

Line 574 in a672965

Verdict finalVerdict = getVerdict(latestState);

Steps to reproduce:

  1. Run 02_webdriver_parabank protocol with a few actions
  2. Wait until TESTAR finishes the sequence
@ferpasri ferpasri added type: bug status: pending merge tested and pending to merge into master priority: high labels Jan 15, 2024
@ferpasri ferpasri self-assigned this Jan 15, 2024
ferpasri added a commit that referenced this issue Jan 15, 2024
@ferpasri
Fix latestState #381
4ba99ce
@ferpasri ferpasri mentioned this issue Jan 15, 2024
Merged
@ferpasri ferpasri linked a pull request Jan 15, 2024 that will close this issue
Reporting updates and fixes #382
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ferpasri ferpasri

Labels
priority: high status: pending merge tested and pending to merge into master type: bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Reporting updates and fixes TESTARtool/TESTAR_dev
1 participant
@ferpasri