Closed errt closed 1 month ago
Make the command line arguments actually matter (they had no effect as the call graph was already computed and thus the respective keys already computed). Also some minor cleanup
Make the command line arguments actually matter (they had no effect as the call graph was already computed and thus the respective keys already computed). Also some minor cleanup