libcprover-cpp → assembler Relation

File in src/libcprover-cpp	Includes file in src/assembler
api.cpp	remove_asm.h