summaryrefslogtreecommitdiff
path: root/testsuite/tests/asmcomp/checkbound.t
blob: 8f3f6f20c41f180592b8954abd91f2e83f9adac8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#########################################################################
#                                                                       #
#                                 OCaml                                 #
#                                                                       #
#                 Damien Doligez, Jane Street Capital                   #
#                                                                       #
#   Copyright 2015 Institut National de Recherche en Informatique et    #
#   en Automatique.  All rights reserved.  This file is distributed     #
#   under the terms of the Q Public License version 1.0.                #
#                                                                       #
#########################################################################

. Testcommon.sh

cflags="-DCHECKBOUND main.c"
Ttests=Topt_compile; Tmultiple Topt_run 1 2
Targs_1="500 1000"
Texit_1=0
Targs_2="1200 1000"
Texit_2=2