Skip to content

SIGSEGV caused by wrong var_order values #27

Open
@jachymb

Description

The following code (adapted from the README) produces a SIGSEGV error:

from pysdd.sdd import SddManager, Vtree

vtree = Vtree(var_count=2, var_order=[1,1])
a,b = SddManager.from_vtree(vtree).vars

wmc = (a|b).wmc()

The cause is apparently the nonsencial var_order=[1,1]. Raising a ValueError or something would be better than crashing the entire thing.

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions