Searched refs:b_entry_inv (Results 1 – 10 of 10) sorted by relevance
63 b_entry_inv = true; in main()72 b_entry_inv = true; in main()81 b_entry_inv = false; in main()90 b_entry_inv = true; in main()99 b_entry_inv = false; in main()
85 b_entry_inv = true; in main()104 b_entry_inv = true; in main()127 b_entry_inv = false; in main()150 b_entry_inv = true; in main()172 b_entry_inv = false; in main()
91 b_entry_inv = true; in main()116 b_entry_inv = true; in main()139 b_entry_inv = false; in main()153 b_entry_inv = true; in main()180 b_entry_inv = false; in main()
94 b_entry_inv = true; in main()119 b_entry_inv = true; in main()142 b_entry_inv = false; in main()165 b_entry_inv = true; in main()192 b_entry_inv = false; in main()
61 bool b_entry_inv = true; // Only entry non-static inv for dtors. variable80 BOOST_CONTRACT_ASSERT(b_entry_inv); in invariant()
58 b_entry_inv = true; in main()67 b_entry_inv = true; in main()76 b_entry_inv = false; in main()85 b_entry_inv = true; in main()94 b_entry_inv = false; in main()
62 b_entry_inv = true; in main()84 b_entry_inv = true; in main()110 b_entry_inv = false; in main()131 b_entry_inv = true; in main()154 b_entry_inv = false; in main()
61 b_entry_inv = true; in main()82 b_entry_inv = true; in main()102 b_entry_inv = false; in main()126 b_entry_inv = true; in main()146 b_entry_inv = false; in main()
63 b_entry_inv = true; in main()86 b_entry_inv = true; in main()113 b_entry_inv = false; in main()138 b_entry_inv = true; in main()161 b_entry_inv = false; in main()
66 bool b_entering_inv = true, b_entry_inv = true, b_exit_inv = true; variable85 if(b_entering_inv) BOOST_CONTRACT_ASSERT(b_entry_inv); in invariant()