library_load_report Struct Reference

Public Attributes
bool	is_solidity
unsigned int	present
unsigned int	kept
fine_timet	deserialise
fine_timet	deps
fine_timet	select
fine_timet	link

Member Data Documentation

deps

fine_timet library_load_report::deps

deserialise

fine_timet library_load_report::deserialise

is_solidity

bool library_load_report::is_solidity

kept

unsigned int library_load_report::kept

link

fine_timet library_load_report::link

present

unsigned int library_load_report::present

select

fine_timet library_load_report::select

---

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

• src/c2goto/cprover_library.cpp