Bram-Hub / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU General Public License v3.0
34 stars 82 forks source link

Updated puzzles to add persistent tags, hashed the exported solved state of the board, and updated batch grader to new format #865

Open Lukas-Petervary opened 1 month ago

Lukas-Petervary commented 1 month ago

Description

Updated puzzles to add persistent tags, hashed the exported solved state of the board, and updated batch grader to new format.

Type of change

How Has This Been Tested?

Step through normal workflow: create new puzzle, save and export, then open new puzzle, make changes, save and exit. Check file for correct persistent tag, then reopen and solve, export one more time and ensure correct data and format. Finally, run autograder over solved and unsolved puzzles to ensure un-hashing correctness. Testing only works with updated puzzles with new export features. Old puzzles will have to be updated to new format, but will not break the batch grader if graded (they will simply print "Error" in the results).

Checklist:

jadeandtea commented 2 weeks ago

Will wait until Bram reviews the autograder.