Author Topic: sbscooker '--internal' argument option  (Read 1822 times)

Code: [Select]
sbscooker --internalWhat exactly does this do? Does it correspond to maximum memory consumption for the sbscooker tool?

Documentation is located here, but no information for this command is provided: https://support.allegorithmic.com/documentation/display/SAT/sbscooker+command+line+options

This option is there for internal uses by Allegorithmic developers (debugging, testing and such), most of which are actually disabled at this point. There is probably nothing there that would be of any use.