Handle some uncaught exceptions in explain mode - #2539

Open

yonatan wants to merge 3 commits into

souffle-lang:masterfrom

yonatan:fix-explain-valueread

Commits on Apr 11, 2025

Avoid some explain mode crashes on user errors (mismatched argument types)
yonatan
committed
af83033
Explain mode: wrap a try..catch around an stoi() called with user input
yonatan
committed
a83d2b5

Commits on Apr 12, 2025

fix whitespace w/clang-format
yonatan
committed
8cd7e04