| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 09-Apr-2019 | - | ||||
| arith-int-014.cvc | H A D | 09-Apr-2019 | 176 | 6 | 5 | |
| arith-int-015.cvc | H A D | 09-Apr-2019 | 178 | 6 | 5 | |
| arith-int-021.cvc | H A D | 09-Apr-2019 | 113 | 5 | 4 | |
| arith-int-023.cvc | H A D | 09-Apr-2019 | 113 | 5 | 4 | |
| arith-int-025.cvc | H A D | 09-Apr-2019 | 113 | 5 | 4 | |
| arith-int-042.cvc | H A D | 09-Apr-2019 | 424 | 10 | 9 | |
| arith-int-042.min.cvc | H A D | 09-Apr-2019 | 74 | 5 | 4 | |
| arith-int-079.cvc | H A D | 09-Apr-2019 | 542 | 12 | 11 | |
| arith-interval.cvc | H A D | 09-Apr-2019 | 104 | 8 | 6 |