save_old_sab |
List of: | Options | |
Subjects: | Modeler Control, SAT Save and Restore | |
Contents: | Kernel |
Action: | Sets format for binary save files. | |||||||||||||||||||
Name String: |
|
|||||||||||||||||||
Scheme: | boolean | #f, #t | #f | |||||||||||||||||
Test Harness: | integer | 0, 1 | 0 | |||||||||||||||||
C++: | logical | FALSE, TRUE | FALSE | |||||||||||||||||
Description: | When on, saves binary files in the old format which does not support unknown entity types. Only truly useful in testing. | |||||||||||||||||||
Example: |
|
|||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||