Is there a diagnostic tool for Stateflow truth tables which does disjointness checking on the decision rules? I am aware of the overspecification and underspesification checking tools, and am looking for something similar which flags/checks whether or not decision rules overlap. Stateflow documentation yields no results.
MATLAB: Checking disjointness of Stateflow truth tables
decision ruledisjointnesssimulinkstateflowtruth-table
Related Question
- Can I add comments to the decision columns in a Stateflow truth table in Stateflow 6.3 (R14SP3)
- Do condition coverage and MCDC results for a Stateflow truth table fail to appear in the coverage report
- Loading existing Ground Truth in Ground Truth Labeler
- Build Truth tables with MATLAB code
- Is there a way to initialize the output of a Truth Table block in Stateflow 6.4.1 (R2006a+)
Best Answer