Loading...
Searching...
No Matches
string_test_builtin_functiont Class Reference
String test.
More...
#include <string_builtin_function.h>
+ Inheritance diagram for string_test_builtin_functiont:
+ Collaboration diagram for string_test_builtin_functiont:
Given a function get_value which gives a valuation to expressions, attempt to find the result of the builtin function.
Add constraints ensuring that the value of result expression of the builtin function corresponds to the value of the function call.
Constraint ensuring that the length of the strings are coherent with the function call.
Tells whether the builtin function can be a testing function, that is a function that does not return a string, for instance like equals, indexOf or compare.
Additional Inherited Members
Detailed Description
Member Function Documentation
◆ string_arguments()
std::vector<
array_string_exprt > string_test_builtin_functiont::string_arguments
(
)
const
Member Data Documentation
◆ args
std::vector<
exprt> string_test_builtin_functiont::args
◆ result
exprt string_test_builtin_functiont::result
◆ under_test
The documentation for this class was generated from the following file:
