Searched refs:a_entry_inv (Results 1 – 10 of 10) sorted by relevance
62 a_entry_inv = true; in main()71 a_entry_inv = false; in main()80 a_entry_inv = true; in main()89 a_entry_inv = true; in main()98 a_entry_inv = false; in main()
84 a_entry_inv = true; in main()103 a_entry_inv = false; in main()126 a_entry_inv = true; in main()149 a_entry_inv = true; in main()171 a_entry_inv = false; in main()
90 a_entry_inv = true; in main()115 a_entry_inv = false; in main()138 a_entry_inv = true; in main()152 a_entry_inv = true; in main()179 a_entry_inv = false; in main()
93 a_entry_inv = true; in main()118 a_entry_inv = false; in main()141 a_entry_inv = true; in main()164 a_entry_inv = true; in main()191 a_entry_inv = false; in main()
104 bool a_entry_inv = true; // Only entry non-static inv for dtors. variable123 BOOST_CONTRACT_ASSERT(a_entry_inv); in invariant()
57 a_entry_inv = true; in main()66 a_entry_inv = false; in main()75 a_entry_inv = true; in main()84 a_entry_inv = true; in main()93 a_entry_inv = false; in main()
60 a_entry_inv = true; in main()81 a_entry_inv = false; in main()101 a_entry_inv = true; in main()125 a_entry_inv = true; in main()145 a_entry_inv = false; in main()
61 a_entry_inv = true; in main()83 a_entry_inv = false; in main()109 a_entry_inv = true; in main()130 a_entry_inv = true; in main()153 a_entry_inv = false; in main()
62 a_entry_inv = true; in main()85 a_entry_inv = false; in main()112 a_entry_inv = true; in main()137 a_entry_inv = true; in main()160 a_entry_inv = false; in main()
114 bool a_entering_inv = true, a_entry_inv = true, a_exit_inv = true; variable133 if(a_entering_inv) BOOST_CONTRACT_ASSERT(a_entry_inv); in invariant()