| 159 | }; |
| 160 | |
| 161 | TEST_CASE(simple_race1) |
| 162 | { |
| 163 | program_model pm; |
| 164 | auto one = pm.add_literal(1); |
| 165 | auto pass1 = pm.add_instruction_stream(0, pass_op{}, one); |
| 166 | auto pass2 = pm.add_instruction_stream(1, pass_op{}, one); |
| 167 | auto pass3 = pm.add_instruction_stream(0, pass_op{}, pass1, pass2); |
| 168 | auto races = pm.analyze(); |
| 169 | |
| 170 | EXPECT(races.size() == 1); |
| 171 | EXPECT(races.front().ins == pass3); |
| 172 | EXPECT(races.front().before == pass2); |
| 173 | } |
| 174 | |
| 175 | TEST_CASE(simple_race2) |
| 176 | { |
nothing calls this directly
no test coverage detected