Skip to content

Commit

Permalink
Add test cases
Browse files Browse the repository at this point in the history
  • Loading branch information
@nickdrozd
nickdrozd committed Dec 28, 2024
1 parent 9903d3d commit 112eefb
Show file tree
Hide file tree
Showing 2 changed files with 113 additions and 1 deletion.
112 changes: 112 additions & 0 deletions test/prog_data.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1879,6 +1879,62 @@
"1RB 3LA 1LA 1LA 2LB 2RA ... 0RB",
"1RB 3LA 1LA 1LA 2LB 3RA ... 0RB",
"1RB 3LA 3LA 1LA 2LB 3RA ... 0RB",
"1RB 1LA 3LA 0RB 2LB 2RA 0LB 2LA",
"1RB 1LB 3LA 3RA 1LB 2RB 0LA 0RA",
"1RB 2LA 3LA 2LA 1LB 2RA 0RB 2RA",
"1RB 3LA 1LA 2LB 1LB 2RA 2RA 0RB",
"1RB 0RB 3LB 0RA 1LB 2LA 3RA 3LB",
"1RB 3RB 1RA 0LA 1LB 2RB 2LA 0LB",
"1RB 3RB 1LA 2LA 2LB 3RA 2RA 1LB",
"1RB 3LA 1LA 1LA 0LB 2LA 2RA 0RB",
"1RB 0LB 0RA 1LB 2LB 3LA 2RA 0RB",
"1RB 1LB 1LA 0LB 2LB 2RA 3RB 0LB",
"1RB 0RA 3LA 0LB 1LB 2LA 0RB 3RB",
"1RB 3RB 1LA 2LA 2LB 3RA 2RA 0LB",
"1RB 3RB 2LA 1LA 1LB 2RB 3RA 3LB",
"1RB 2RB 1LA 3LA 2LB 2RA 3RA 0LB",
"1RB 1LB 1LA 3RA 2LB 2RA 3RB 0LB",
"1RB 3LB 2RA 0LA 2LB 3LA 1RB 0RA",
"1RB 3LA 1LA 2LB 0LB 2LA 2RA 0RB",
"1RB 3RB 3RA 2RA 1LB 2LA 1RB 0LB",
"1RB 3LA 1LA 0LB 1LB 2RA 1RB 0RB",
"1RB 2RA 1LB 1LA 2LB 3RB 3LA 3RA",
"1RB 3LA 1RB 2LB 1LB 2LA 0RB 1RA",
"1RB 2RA 2RB 0RA 2LB 3RB 1LB 1LA",
"1RB 3LA 1LA 1LB 1LB 2RA 1LA 0RB",
"1RB 3LA 1LA 2LB 2LB 2LA 2RA 0RB",
"1RB 3LA 3LA 2LA 2LB 3RA 3RA 0RB",
"1RB 3LA 1LA 2LB 1LB 2RA 2LA 0RB",
"1RB 3RB 1LA 2LA 2LB 3RA 2RA 2LB",
"1RB 3LA 1LA 1LB 1LB 2RA 2RA 0RB",
"1RB 3LA 1LA 1LA 0LB 2LA 3RA 0RB",
"1RB 3RA 3LA 3LB 1LB 2LA 1RB 0LA",
"1RB 3RB 1LA 0LB 2LB 2RA 3RB 0LB",
"1RB 3RB 1LA 2RB 2LB 3LA 0LB 3RA",
"1RB 0RB 3LB 1LB 1LB 2LA 2RA 0RA",
"1RB 3LA 1LA 1LA 2LB 2LA 3RA 0RB",
"1RB 0LA 1RA 0RB 2LB 3LA 3RA 3RA",
"1RB 0RB 3LA 1LB 2LB 3LA 3RA 0RB",
"1RB 3LA 1LA 1LA 2LB 2LA 2RA 0RB",
"1RB 3RB 1LA 2LA 2LB 3RA 2RA 3LB",
"1RB 0RB 3RA 3LB 2LB 2LA 0RA 1LB",
"1RB 3LA 3LA 1LA 0LB 2LA 3RA 0RB",
"1RB 2RA 0RB 0LA 1LB 2LA 3RB 3RA",
"1RB 3LA 1LA 1LB 1LB 2RA 2LA 0RB",
"1RB 3LA 1LA 0LB 2LB 2RA 1RB 0RB",
"1RB 3RA 1RA 1LB 1LB 2LA 0RA 0LB",
"1RB 0RA 3LB 2RB 2LB 3LA 1LA 0RB",
"1RB 0RA 3LA 1LB 0LB 2LA 3RA 2RA",
"1RB 3LA 1RA 1LB 1LB 2LA 2RA 0RB",
"1RB 3RA 3RB 3LA 1LB 2LA 0RA 2LB",
"1RB 2RB 1LA 3LA 2LB 3RB 2LB 2RA",
"1RB 3LA 3RA 1RB 1LB 2RB 0LA 0LB",
"1RB 0RB 1RA 2LB 2LB 3LA 3RA 2RB",
"1RB 3LB 3LA 0LA 1LB 2RB 2RA 1RA",
"1RB 0RA 3LB 3RB 0LB 2LA 2RA 1LB",
"1RB 3RA 1LA 1LB 2LB 2RA 0LB 0LB",
"1RB 0RA 1RA 1LB 2LB 3LA 2RA 1RB",
"1RB 3RA 3RA 0LB 1LB 2LA 0RB 2LA",

"1RB 0RC 1LC 0RA 0LC 0LD 1RD 1RB",
"1RB 1LC 1RD 0RB 0LC 1LA 1RC 0RA",
Expand Down Expand Up @@ -2509,6 +2565,62 @@
"1RB 3LA 1LA 1LA 2LB 2RA ... 0RB": 6,
"1RB 3LA 1LA 1LA 2LB 3RA ... 0RB": 6,
"1RB 3LA 3LA 1LA 2LB 3RA ... 0RB": 7,
"1RB 0LA 1RA 0RB 2LB 3LA 3RA 3RA": 7,
"1RB 0RA 1RA 1LB 2LB 3LA 2RA 1RB": 7,
"1RB 0RA 3LA 0LB 1LB 2LA 0RB 3RB": 7,
"1RB 0RA 3LA 1LB 0LB 2LA 3RA 2RA": 7,
"1RB 0RA 3LB 3RB 0LB 2LA 2RA 1LB": 7,
"1RB 0RB 3LB 0RA 1LB 2LA 3RA 3LB": 7,
"1RB 0RB 3LB 1LB 1LB 2LA 2RA 0RA": 7,
"1RB 0RB 3RA 3LB 2LB 2LA 0RA 1LB": 7,
"1RB 1LA 3LA 0RB 2LB 2RA 0LB 2LA": 7,
"1RB 1LB 1LA 0LB 2LB 2RA 3RB 0LB": 7,
"1RB 1LB 1LA 3RA 2LB 2RA 3RB 0LB": 7,
"1RB 1LB 3LA 3RA 1LB 2RB 0LA 0RA": 7,
"1RB 2LA 3LA 2LA 1LB 2RA 0RB 2RA": 7,
"1RB 2RA 0RB 0LA 1LB 2LA 3RB 3RA": 7,
"1RB 2RA 1LB 1LA 2LB 3RB 3LA 3RA": 7,
"1RB 2RB 1LA 3LA 2LB 2RA 3RA 0LB": 7,
"1RB 2RB 1LA 3LA 2LB 3RB 2LB 2RA": 7,
"1RB 3LA 1LA 0LB 1LB 2RA 1RB 0RB": 7,
"1RB 3LA 1LA 0LB 2LB 2RA 1RB 0RB": 7,
"1RB 3LA 1LA 1LB 1LB 2RA 1LA 0RB": 7,
"1RB 3LA 1LA 1LB 1LB 2RA 2LA 0RB": 7,
"1RB 3LA 1LA 1LB 1LB 2RA 2RA 0RB": 7,
"1RB 3LA 1LA 2LB 1LB 2RA 2LA 0RB": 7,
"1RB 3LA 1LA 2LB 1LB 2RA 2RA 0RB": 7,
"1RB 3LA 1RA 1LB 1LB 2LA 2RA 0RB": 7,
"1RB 3LA 3LA 1LA 0LB 2LA 3RA 0RB": 7,
"1RB 3LA 3LA 2LA 2LB 3RA 3RA 0RB": 7,
"1RB 3LA 3RA 1RB 1LB 2RB 0LA 0LB": 7,
"1RB 3RA 1LA 1LB 2LB 2RA 0LB 0LB": 7,
"1RB 3RA 1RA 1LB 1LB 2LA 0RA 0LB": 7,
"1RB 3RA 3LA 3LB 1LB 2LA 1RB 0LA": 7,
"1RB 3RA 3RB 3LA 1LB 2LA 0RA 2LB": 7,
"1RB 3RB 1LA 0LB 2LB 2RA 3RB 0LB": 7,
"1RB 3RB 1LA 2LA 2LB 3RA 2RA 2LB": 7,
"1RB 3RB 1LA 2LA 2LB 3RA 2RA 3LB": 7,
"1RB 3RB 1LA 2RB 2LB 3LA 0LB 3RA": 7,
"1RB 0LB 0RA 1LB 2LB 3LA 2RA 0RB": 8,
"1RB 0RA 3LB 2RB 2LB 3LA 1LA 0RB": 8,
"1RB 0RB 1RA 2LB 2LB 3LA 3RA 2RB": 8,
"1RB 0RB 3LA 1LB 2LB 3LA 3RA 0RB": 8,
"1RB 3LA 1LA 1LA 0LB 2LA 2RA 0RB": 8,
"1RB 3LA 1LA 1LA 0LB 2LA 3RA 0RB": 8,
"1RB 3LA 1LA 1LA 2LB 2LA 2RA 0RB": 8,
"1RB 3LA 1LA 1LA 2LB 2LA 3RA 0RB": 8,
"1RB 3LA 1LA 2LB 0LB 2LA 2RA 0RB": 8,
"1RB 3LA 1LA 2LB 2LB 2LA 2RA 0RB": 8,
"1RB 3LB 2RA 0LA 2LB 3LA 1RB 0RA": 8,
"1RB 3LB 3LA 0LA 1LB 2RB 2RA 1RA": 8,
"1RB 3RB 1LA 2LA 2LB 3RA 2RA 0LB": 8,
"1RB 3RB 1LA 2LA 2LB 3RA 2RA 1LB": 8,
"1RB 3RB 2LA 1LA 1LB 2RB 3RA 3LB": 8,
"1RB 2RA 2RB 0RA 2LB 3RB 1LB 1LA": 9,
"1RB 3LA 1RB 2LB 1LB 2LA 0RB 1RA": 9,
"1RB 3RB 3RA 2RA 1LB 2LA 1RB 0LB": 10,
"1RB 3RB 1RA 0LA 1LB 2RB 2LA 0LB": 11,
"1RB 3RA 3RA 0LB 1LB 2LA 0RB 2LA": 12,
"1RB 2LB 1RA 2LA 2LB 3LA 0RA 2RA": 14,
"1RB 2RA 3RB 2LB 2LB 3LA 0LA 2LA": 14,
"1RB 3RA 1LA 1LB 2LB 2RA 1LB 2LA": 14,
Expand Down
2 changes: 1 addition & 1 deletion test/test_turing.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -334,7 +334,7 @@ def test_false_negatives(self):
totals = {
219: CANT_HALT_FALSE_NEGATIVES,
278: CANT_BLANK_FALSE_NEGATIVES,
139: CANT_SPIN_OUT_FALSE_NEGATIVES,
195: CANT_SPIN_OUT_FALSE_NEGATIVES,
}

for total, cat in totals.items(): # type: ignore[assignment]
Expand Down

0 comments on commit 112eefb

Please sign in to comment.