CBMC
|
#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.