[SERVER-48045] NoSuchMethodError testing TLA+ Created: 08/May/20 Updated: 29/Oct/23 Resolved: 12/May/20 |
|
| Status: | Closed |
| Project: | Core Server |
| Component/s: | Replication |
| Affects Version/s: | None |
| Fix Version/s: | 4.7.0 |
| Type: | Bug | Priority: | Major - P3 |
| Reporter: | A. Jesse Jiryu Davis | Assignee: | A. Jesse Jiryu Davis |
| Resolution: | Fixed | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Issue Links: |
|
||||
| Backwards Compatibility: | Fully Compatible | ||||
| Operating System: | ALL | ||||
| Sprint: | Repl 2020-05-18 | ||||
| Participants: | |||||
| Linked BF Score: | 50 | ||||
| Description |
|
The TLA+ model-check task in Evergreen has started failing with:
This is because we use the default java on the command line, which is Java 8 on the Ubuntu 18.04 builder machines, and the TLC model-checking tool has begun to require Java 11. I'm not sure this is intentional, I've filed a bug: https://github.com/tlaplus/tlaplus/issues/462 In any case, use Java 11, which is installed in /opt. |
| Comments |
| Comment by Githook User [ 12/May/20 ] |
|
Author: {'name': 'A. Jesse Jiryu Davis', 'email': 'jesse@mongodb.com', 'username': 'ajdavis'}Message: |
| Comment by A. Jesse Jiryu Davis [ 12/May/20 ] |
|
Old solution hard-coded path to java binary; new one will configure it in tla_plus.yml suite config. |
| Comment by Judah Schvimer [ 12/May/20 ] |
|
What's wrong with the current solution and what's the proposal for the better way? |
| Comment by A. Jesse Jiryu Davis [ 11/May/20 ] |
|
Reopening, I think there's a slightly better way to do this. |
| Comment by Githook User [ 08/May/20 ] |
|
Author: {'name': 'A. Jesse Jiryu Davis', 'email': 'jesse@mongodb.com', 'username': 'ajdavis'}Message: |