CBMC
|
Pattern matching for bytecode instructions. More...
#include "bytecode_info.h"
Go to the source code of this file.
Classes | |
class | patternt |
Given a string of the format '?blah?', will return true when compared against a string that matches appart from any characters that are '?' in the original string. More... | |
Pattern matching for bytecode instructions.
Definition in file pattern.h.