You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Pick a fixed number of prime registers, say 1 to 10.
Randomly generate exponents in the numerators/denominators.
Run it for up to 100 steps w/o cycle detection. Run it for 1..10-length cycle detection and for each, verify the steps listed in the cycle detected result match the manual run. If it cycle detects an infinite loop, verify it by checking the logic registers one cycle forward. Last part is important because the self interpeters both failed by way of infinite loop.
Rinse and repeat. Run this overnight or whatever. Make sure to simulate a failure and check that it actually reports what input failed correctly so I don't waste my CPU.
The text was updated successfully, but these errors were encountered:
Also, needs randomly generated starting exponents, somewhere in the middle of the average denominator. I will want to log what kind of outcomes happened (terminated after 21 steps, 2-cycle after 15 steps, etc). Also ideally which fractions were even used, because I'm worried this kind of naive random generation won't generate the kind of control structures that would trigger bugs.
Basic idea:
Pick a fixed number of prime registers, say 1 to 10.
Randomly generate exponents in the numerators/denominators.
Run it for up to 100 steps w/o cycle detection. Run it for 1..10-length cycle detection and for each, verify the steps listed in the cycle detected result match the manual run. If it cycle detects an infinite loop, verify it by checking the logic registers one cycle forward. Last part is important because the self interpeters both failed by way of infinite loop.
Rinse and repeat. Run this overnight or whatever. Make sure to simulate a failure and check that it actually reports what input failed correctly so I don't waste my CPU.
The text was updated successfully, but these errors were encountered: