veridoc_manifest_file Struct Reference

A description of a single file to be included in the parsed source tree. More...

#include <veridoc-manifest.h>

Data Fields
boolean	parse_success
	Did the file parse without errors?
boolean	parsed
	Was the file parsed?
char *	path
	The file path.

Detailed Description

A description of a single file to be included in the parsed source tree.

---

The documentation for this struct was generated from the following file:

• src/veridoc-manifest.h