search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
913 stars 206 forks source link

Test `syntactic/cpp_keywords_run_souffle` failing and others not run #2503

Open MIvanchev opened 2 months ago

MIvanchev commented 2 months ago

Continuing my build journey, I have the following failing tests. Any info on this?

quentin commented 2 months ago

Hi, this test simply exercises corner cases of the C pre-processor with identifiers that may be interpreted as special keywords by some compilers. It can be disabled by removing/disabling this line: https://github.com/souffle-lang/souffle/blob/e6cc66820e0d3c537f57aab2f5c80b0d54cb5208/tests/syntactic/CMakeLists.txt#L25