search

danbriggs / Turing

Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
19 stars 1 forks source link

Shore up basic functionality of tests #4

Closed danbriggs closed 4 years ago

danbriggs commented 4 years ago

This should be completed before issue #2.

TODO: write conditions for yieldsTest() improve termTest() and write conditions for it improve termfigurationTest() and write conditions for it improve successorTest() and write conditions for it make condensedConfigurationTest() return the appropriate boolean have Acceleration.act() return the number of times Lemmas were employed, and have actTest1() and actTest2() verify that Lemmas were used the appropriate number of times add checks to stretchTapeTest()

danbriggs commented 4 years ago

Acceleration.act() shouldn't return the number of times Lemmas were employed, it returns the number of steps accelerated.

danbriggs commented 4 years ago

Issue #2 has been completed first, and that's fine.