As of obaptheory.txt 0.0.32, the simplification and removal of the apint helper, there needs to be reconfirmation. In particular, we want to ensure the treatment of lindy traps is still correct.
[ ] Review the obap test scripts and capture the expected results
[ ] obap.obcheck.sml
[ ] obapcheck.sml
[ ] combdemo.sml
[ ] Ydemo.sml
[ ] revise obap.sml to correspond to the obaptheory.txt treatment
[ ] reverify the test scripts to ensure expected results.
[ ] obap.obcheck.sml
[ ] obapcheck.sml
[ ] combdemo.sml
[ ] Ydemo.sml
[ ] upgrade obaptheory.txt to 0.1.0 after any necessary fixes.
As of obaptheory.txt 0.0.32, the simplification and removal of the apint helper, there needs to be reconfirmation. In particular, we want to ensure the treatment of lindy traps is still correct.
[ ] Review the obap test scripts and capture the expected results
[ ] obap.obcheck.sml
[ ] obapcheck.sml
[ ] combdemo.sml
[ ] Ydemo.sml
[ ] revise obap.sml to correspond to the obaptheory.txt treatment
[ ] reverify the test scripts to ensure expected results.
[ ] obap.obcheck.sml
[ ] obapcheck.sml
[ ] combdemo.sml
[ ] Ydemo.sml
[ ] upgrade obaptheory.txt to 0.1.0 after any necessary fixes.