summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/all.T
blob: 5f8547b5a83ae6938ff8b19b5e63492e5c064d90 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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, [''])