naskya / testcase-generator Goto Github PK

int N [1, 10]
row<int, N> A [0, 10] inc
row<int, N> B [A, 10] inc
---
N
A
B

6
0 1 2 5 7 7

int N [1.5, 10]

int N [1, 100]
int M [N * 1.5, N * 2]

40 40
8 -4 11 4 3 -13 7 -11 33 -12 5 -8 -13 26 -6 -5 10 -15 -18 1 26 -28 17 -4 -7 27 6 -28 16 -11 4 16 -24 -2 21 7 -6 -6 -21 34

int N [1, 100]
int M [1, min(1000, N * N)]
---
N M

   Error: Failed to evaluate the lower limit of M (= 1 , min ( 1000).