| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Thu, 08 Dec 2022 17:53:08 +0000 | |
| changeset 449 | 44f88dd66463 | 
| parent 434 | 1eb11d787af7 | 
| child 472 | fbff6f601370 | 
| permissions | -rw-r--r-- | 
| 432 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 1 | |
| 434 | 2 | import M2._ | 
| 432 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 3 | |
| 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 4 | val urban_wordle_url = """https://nms.kcl.ac.uk/christian.urban/wordle.txt""" | 
| 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 5 | val urban_secrets = get_wordle_list(urban_wordle_url) | 
| 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 6 | |
| 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 7 | assert(urban_secrets.length == 12972) | 
| 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 8 | assert(urban_secrets.filter(_.length != 5) == Nil) | 
| 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 9 | |
| 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 10 | assert(get_wordle_list(urban_wordle_url ++ "2") == Nil) | 
| 
87e487ccbd7c
updated wordle testing
 Christian Urban <christian.urban@kcl.ac.uk> parents: diff
changeset | 11 |