Pierrot dbfb6ad55b Add test from issue 1008 (#1211) ...

* Add tests from issue 1008

This commit adds tests suggested by Basile in issue #1008.

2024-08-20 09:50:52 +00:00

..

649

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

664

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

854

Active fpa as default (#1177)

2024-07-24 18:32:32 +02:00

1008

Add test from issue 1008 (#1211)

2024-08-20 09:50:52 +00:00

340.expected

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

340.smt2

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

350.ae

Associate syntactic terms to bitvector variables (#685)

2023-06-23 10:47:57 +00:00

350.expected

Associate syntactic terms to bitvector variables (#685)

2023-06-23 10:47:57 +00:00

460.ae

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

460.expected

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

479.expected

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

479.smt2

Make the organization of the issue tests uniform (#723)

2023-07-10 12:15:40 +00:00

555.models.expected

cleanup: Use proper namespacing for names (#1028)

2024-01-22 10:50:12 +01:00

555.models.smt2

Use a separated counter for abstract value (#835)

2023-09-25 12:34:21 +02:00

645.ae

Added a test, updated the test of 645.ae

2023-06-27 17:55:33 +02:00

645.expected

Added a test, updated the test of 645.ae

2023-06-27 17:55:33 +02:00

695.expected

Add support to (check-sat-assuming) in Dolmen frontend (#698)

2023-06-27 13:11:15 +02:00

695.smt2

Add support to (check-sat-assuming) in Dolmen frontend (#698)

2023-06-27 13:11:15 +02:00

696.ae

Added a test, updated the test of 645.ae

2023-06-27 17:55:33 +02:00

696.expected

Added a test, updated the test of 645.ae

2023-06-27 17:55:33 +02:00

777.models.expected

fix(arith): Do not overly tighten bounds over infinite domains (#1025)

2024-01-09 18:48:27 +01:00

777.models.smt2

Use post-solve SAT environment for model generation (#789)

2023-09-04 13:36:12 +02:00

883.dolmen.expected

Preserve Subst literals (#886)

2023-10-19 14:20:16 +02:00

883.dolmen.smt2

Preserve Subst literals (#886)

2023-10-19 14:20:16 +02:00

889.expected

Hotfix distinct soundness (#922)

2023-11-02 13:59:58 +00:00

889.smt2

Hotfix distinct soundness (#922)

2023-11-02 13:59:58 +00:00

926.models.expected

Fix issue 926 (#931)

2023-11-13 13:40:53 +00:00

926.models.smt2

Fix issue 926 (#931)

2023-11-13 13:40:53 +00:00

964.ae

fix(AC): Abstract AC arguments that contain other AC symbols (#990)

2024-03-14 08:49:26 +00:00

964.expected

fix(AC): Abstract AC arguments that contain other AC symbols (#990)

2024-03-14 08:49:26 +00:00

1099.ae

Fix issue 1099 (#1102)

2024-06-11 15:34:22 +00:00

1099.expected

Fix issue 1099 (#1102)

2024-06-11 15:34:22 +00:00

1111.ae

fix(FPA): Separate semantic triggers upon trigger construction (#1113)

2024-05-10 17:13:37 +02:00

1111.expected

fix(FPA): Separate semantic triggers upon trigger construction (#1113)

2024-05-10 17:13:37 +02:00

1163.models.expected

Add maximize/minimize terms for matching (#1166)

2024-07-16 18:02:10 +02:00

1163.models.smt2

Add maximize/minimize terms for matching (#1166)

2024-07-16 18:02:10 +02:00

1170.expected

fix(BV): Do not lose explanations in bvmul (#1170)

2024-07-22 16:01:08 +02:00

1170.smt2

fix(BV): Do not lose explanations in bvmul (#1170)

2024-07-22 16:01:08 +02:00

1172.expected

fix(AC, Arith): Use a separate namespace for AC abstractions (#1173)

2024-07-22 18:38:12 +02:00

1172.smt2

fix(AC, Arith): Use a separate namespace for AC abstractions (#1173)

2024-07-22 18:38:12 +02:00

1180.expected

fix(BV): Implement abstract_selectors

2024-07-30 12:10:50 +02:00

1180.smt2

fix(BV): Implement abstract_selectors

2024-07-30 12:10:50 +02:00

issue1024.err.dolmen.expected

fix(incremental): Reset to Assert mode after push/pop command (#1064)

2024-03-21 09:28:09 +01:00

issue1024.err.dolmen.smt2

fix(incremental): Reset to Assert mode after push/pop command (#1064)

2024-03-21 09:28:09 +01:00