summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/all.T
blob: 7fb728654a256884e0a9bf0c6c2c45a61d1f82c0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

test('T14833', normal, compile, [''])
test('T14835', normal, compile, [''])
test('T2893', normal, compile, [''])
test('T2893a', normal, compile, [''])
test('T2893c', normal, compile, [''])
test('T9123', normal, compile, [''])
test('T14863', normal, compile, [''])
test('T14961', normal, compile, [''])
test('T9123a', normal, compile, [''])
test('T15244', normal, compile, [''])
test('T15231', normal, compile_fail, [''])

test('T15290', normal, compile, [''])
test('T15290a', normal, compile_fail, [''])
test('T15290b', normal, compile_fail, [''])
test('T15316', normal, compile_fail, [''])
test('T15334', normal, compile_fail, [''])
test('T15359', normal, compile, [''])
test('T15359a', normal, compile, [''])
test('T15625', normal, compile, [''])
test('T15625a', normal, compile, [''])
test('T15918', normal, compile_fail, [''])
test('T17267', normal, compile_fail, [''])
test('T17267a', normal, compile_fail, [''])
test('T17267b', normal, compile_fail, [''])
test('T17267c', normal, compile_fail, [''])
test('T17267d', normal, compile_and_run, [''])