If desired, the user can assign a specific name to the journal files using the appropriate API. In such a case, the Scheme file will be assigned "name.scm" while the corresponding SAT files will be assigned "name_x.sat" where x is an incremental counter starting from zero. This API also provides the ability to set the x counter. For example, when the user specifies a name, "myname" and an index of 0, the Scheme file is named
myname.scm and it's corresponding SAT files are named
myname_0.sat,
myname_1.sat,
myname_2.sat and so on. The next time when these files are created, the Scheme file is overwritten and the counter starts from zero for SAT files (hence, they are overwritten as well).
|