aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile.in
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2012-12-11 09:12:47 +0100
committerBjörn Gustavsson <[email protected]>2012-12-18 14:46:14 +0100
commit89b47bd53200816ac058eafe0b7d00745183fee4 (patch)
treea96fe6c84ba203620e8247fc7c80ec3b8b6c04fc /Makefile.in
parentb82d7370ddef1a91e960486716c8dea3d31c2e3b (diff)
downloadotp-89b47bd53200816ac058eafe0b7d00745183fee4.tar.gz
otp-89b47bd53200816ac058eafe0b7d00745183fee4.tar.bz2
otp-89b47bd53200816ac058eafe0b7d00745183fee4.zip
Add a test case for constraint equivalence
The constraint simplification pass need to be seriously rethought and rewritten. As a starting point, add a test case to test that equivalent ways to write a constraint are reduced to the same simplified constraint. Fix a few obvious bugs to make the test cases to pass.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions