-2. Create function
- void assertvalidmemory(int low, int high) {
- }
-
-3. Create function
- void calltool(Type name)
- * this is equiv to establishing a mapping in the interpreter version
- * Type should be the type of the variable being mapped
- * the name of the formal paremater should be the name of the variable
- used in the specs
- * multiple parameters for multiple mappings
- * the body of the function should contain only
- #include "spec-file.cc",
- where the files spec-file.* contain the specs