def SaveBase(idbname, flags=0):
    if len(idbname) == 0:
        idbname = GetIdbPath()
    saveflags = idaapi.cvar.database_flags
    mask = idaapi.DBFL_KILL | idaapi.DBFL_COMP | idaapi.DBFL_BAK
    idaapi.cvar.database_flags &= ~mask
    idaapi.cvar.database_flags |= flags & mask
    res = idaapi.save_database(idbname, 0)
    idaapi.cvar.database_flags = saveflags
    return res
Expect a formula card to require a range.
dataset/ETHPy150Open EiNSTeiN-/idapython/python/idc.py/SaveBase--crossover with--dataset/ETHPy150Open heiskr/sagefy/server/test/test_models_cards_formula_card.py/test_formula_range