diff options
| author | Björn Gustavsson <[email protected]> | 2012-12-11 09:12:47 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2012-12-18 14:46:14 +0100 |
| commit | 89b47bd53200816ac058eafe0b7d00745183fee4 (patch) | |
| tree | a96fe6c84ba203620e8247fc7c80ec3b8b6c04fc /lib/cosTime/include | |
| parent | b82d7370ddef1a91e960486716c8dea3d31c2e3b (diff) | |
| download | otp-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 'lib/cosTime/include')
0 files changed, 0 insertions, 0 deletions