Community
Participate
Working Groups
In the testsuite editor, it would be nice if the Behavior tab would support disab ling selected invocations temporarily. This would help to keep test runs shorter (faster) while developing / checking if a specific test works ok or not.
I agree. Moving priority to P1
Moving this to 'normal' because of its simplicity. This is something that is commonly needed when debugging the failure of a test suite. I have already implemented this and I will be checking it in 4.3 (July 10th). See the snapshot attached.
Created attachment 45937 [details] Snapshot
Fix checked into CVS. Changes were restricted to a technology preview item.
I forgot to mark this defect as fixed.
ACTION: Please verify/close this defect.
Reporter: Please verify and close in preparation for shutting down the TPTP 4.4 release. Thanks.
This bug dates from an experiment of mine with a much earlier version of TPTP. I since decided to not use it for now. I'm not going to install all of TPTP and go through this again to just verify this bug. I'm sorry but I've got other urgent things to do, and I hope that this messages help finding someone else to verify.
Closing by default since not verified/closed by the originator in the 6+ months since being resolved. Please reopen if the issue is still present in the latest TPTP release or the resolution is not correct.
Disablement/enablement of test scripts in the Behaviour tab works fine under TPTP/AGR 4.4.