There are three preferences that can be set on this page.
The Toolbox keeps all the information about a specification name
Spec, other than its actual files, in a folder named
When that folder becomes sufficiently large, its size is
shown near the bottom right-hand corner of the Toolbox window.
This parameter specifies how large (in kilobytes) sufficiently large
The default is 50 megabytes.
.toolbox folder becomes very large, it is probably
because it contains one or more checkpoints created by TLC.
The checkpoint is deleted if TLC completes successfully, but is saved
if TLC is stopped or finds an error.
A TLC execution that takes several days can create a checkpoint
with more than a gigabyte of data.
When a spec uses a lot of space, you should view the
TLC models you have created for it
to see if any have large checkpoints.
Recovery to learn how you can find out how large a checkpoint
is and how you can delete a checkpoint.
INSTANCEstatement), the parser searches for that module first in the root module's folder, then in the sequence of specified library folders (in the order they appear in the list), then among the standard modules. The list of library folders specified here can be overridden for a particular spec with a different list in the spec's Spec Explorer entry.