[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Suggestions for Toolbox Model Checking Results page Statistics section


The statistics section on the Model Checking Results page contains two
tables: one for the state space progress and one for the coverage.

I suggest that these two tables should fill the entire width of the
section and perhaps have some drag handle between them to resize the
amount of space allocated for each table. It would improve readability
if the numerical table cells were right-aligned and if these cells would
use some non-breaking spaces for thousands separators.

Best regards,