summaryrefslogtreecommitdiffstats
path: root/tests/test_color_mi.out
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2020-05-22 12:20:10 -0400
committerTavian Barnes <tavianator@tavianator.com>2020-05-22 12:49:18 -0400
commit305ee902874b49351f4916e303c293523f11570b (patch)
treebd3e3d479d855cd0cad7fab1ff23b53ad7481b44 /tests/test_color_mi.out
parenta3a9a2ed41394c7ae9a1e5f57b0379b2c3a564d0 (diff)
downloadbfs-305ee902874b49351f4916e303c293523f11570b.tar.xz
opt: Track data flow information about predicates
This allows us to optimize things like -sparse -o -not -sparse <==> -true and -sparse -a -not -sparse <==> -false
Diffstat (limited to 'tests/test_color_mi.out')
0 files changed, 0 insertions, 0 deletions