Pierrot ac4ca6776b Fix soudness bug in Enum (#1091) ...

The PR #1078 introduces a soundness bug in `assume_distinct`. We have
to propagate explanations of singleton domains, otherwise we may raise
Inconsistency with an empty explanation.

Add a test that caught the bug.

2024-04-05 19:05:52 +02:00

..

testfile-sum001.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum001.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum002.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum002.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum003.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum003.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum004.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum004.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum005.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum005.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum006.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum006.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum007.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum007.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum008.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum008.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum009.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum009.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum011.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum011.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum012.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum012.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum013.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum013.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum014.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum014.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum015.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum015.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum016.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum016.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum017.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum017.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum018.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum018.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum019.ae

Fix soudness bug in Enum (#1091)

2024-04-05 19:05:52 +02:00

testfile-sum019.expected

Fix soudness bug in Enum (#1091)

2024-04-05 19:05:52 +02:00

testfile-sum_poly_arrays001.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum_poly_arrays001.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum_poly_arrays002.ae

Fix ci (#535)

2022-11-28 10:29:31 +01:00

testfile-sum_poly_arrays002.expected

Fix ci (#535)

2022-11-28 10:29:31 +01:00