Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fixed Segfault when failing to load datalog file #1613
Through testing we found this bug, which segfaults while loading a non-existent datalog file.
Reproduce using 'z3 A.dl', given A.dl is not in the current directory of course.
This bug was found using Symbolic Execution techniques developed in the course of the SYMBIOSYS research project at COMSYS, RWTH Aachen University. This research is supported by the European Research Council (ERC) under the EU's Horizon 2020 Research and Innovation Programme grant agreement n. 647295 (SYMBIOSYS).