- attached bug_term_andervoc_segfault.idp
Segfault when minizing over a term of another vocabulary
Issue #289
resolved
This is because the minterm used the same predicate, but was not from an extended vocabulary. See attached file, it will segfault. Replacing the predicate in the vocabulary with the commented line will prevent the segfault.
This happens even if the theory is empty.
Comments (5)
-
reporter -
-
assigned issue to
-
assigned issue to
-
Refs: Segfault fixed by 6f7f1ea
-
- changed status to resolved
Fixes
#289where using a different vocabulary for theory, structure and term should not have been allowed (at this moment).→ <<cset 1ae84119541b>>
-
reporter Fixes
#289where using a different vocabulary for theory, structure and term should not have been allowed (at this moment).→ <<cset 3b2a9e97e6eb>>
- Log in to comment
Fix: Used -- to comment instead of // or ++ in attached file.