Skip to content

"operator==" not recognized as predicate name

ID0001949: This issue was created automatically from Mantis Issue 1949. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0001949 Frama-Clang Plug-in > clang public 2014-10-30 2015-02-17
Reporter Jochen Assigned To virgile Resolution open
Priority normal Severity feature Reproducibility always
Platform frama-c-Neon-20140301+dev-stance OS xubuntu-cfe13.10 OS Version -
Product Version - Target Version - Fixed in Version -

Description :

output:

115.cpp:4:16: expecting an identifier after 'predicate' Now output intermediate result

It should be easy to accept "operator==" also as an ACSL predicate name, similar as in C++ code.

Attachments

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information