diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2020-06-07 13:50:53 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2020-06-07 13:50:53 -0400 |
commit | faee855b1e886dacc999e1dccf7f8e2c750f33c6 (patch) | |
tree | 39a45954661114f6bc19227663a490d99c7ddb48 /tests | |
parent | a1c8bda52a9c07d32127762ee0c865660a0268ab (diff) | |
download | bfs-faee855b1e886dacc999e1dccf7f8e2c750f33c6.tar.xz |
opt: Make sure facts_when_impure sees *all* impure literals
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions