| 37 | |
| 38 | |
| 39 | class InvD(Inv): |
| 40 | def __init__(self, keys): |
| 41 | super().__init__(keys) |
| 42 | self.fwd_fn = lambda x: x * 100 |
| 43 | self.inv_fn = lambda x: x / 100 |
| 44 | |
| 45 | |
| 46 | set_determinism(seed=123) |
no outgoing calls
no test coverage detected
searching dependent graphs…