(rwt, original_dfb, original_root_fn)
| 37 | |
| 38 | |
| 39 | def assert_immutability(rwt, original_dfb, original_root_fn): |
| 40 | assert rwt.mutated_dfb() != original_dfb |
| 41 | assert rwt.mutated_root_fn() != original_root_fn |
| 42 | assert rwt.mutated_root_fn().body.blocks[0] != original_dfb |
| 43 | assert rwt.mutated_root_fn().body.blocks[0] == rwt.mutated_dfb() |
| 44 | |
| 45 | |
| 46 | def test_null_construct(): |
no test coverage detected
searching dependent graphs…