Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

souffle provenance explainer crashes for explanations involving algebraic data types #2521

Open
kleaver opened this issue Dec 12, 2024 · 0 comments

Comments

@kleaver
Copy link

kleaver commented Dec 12, 2024

Hello, I am trying to generate explanations of some rules, but the explain interface crashes when trying to print them.

The program otherwise works as expected. Is this a known issue?

.type my_symbol <: symbol
.type my_adt = Cons { x: my_symbol }

.decl A(u: my_symbol, cap: my_adt)
A("some text", $Cons("some text")).

.decl out_relation(u: my_symbol)
.output out_relation
out_relation(u) :- A(u, $Cons(u)).
$ souffle --version
----------------------------------------------------------------------------
Version: 
Word size: 32 bits
Options enabled: ffi openmp ncurses sqlite zlib
----------------------------------------------------------------------------
Copyright (c) 2016-22 The Souffle Developers.
Copyright (c) 2013-16 Oracle and/or its affiliates.
All rights reserved.
============================================================================

# I am not sure why the version number is not present in the above output

$ souffle -F. -D.  crashes_explainer.dl -t explain
Explain is invoked.
Enter command > explain out_relation("doesnt exist")
Tuple not found
Enter command > explain out_relation("some text")
unhandled type attr code
souffle: /build/source/src/include/souffle/utility/MiscUtil.h:217: void souffle::fatal(const char*, const Args& ...) [with Args = {}]: Assertion `false && "fatal error; see std err"' failed.
Aborted (core dumped)
$ 
@kleaver kleaver changed the title souffle provenance explainer segfaults for explanations involving algebraic data types souffle provenance explainer crashes for explanations involving algebraic data types Dec 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant