Index of /src/oak-0.8.0/data/test/ntcc/run-fail/

../
bad_range_with_integer.ntcc                        01-Jan-1970 00:00                  17
bad_range_with_variable.ntcc                       01-Jan-1970 00:00                  17
bad_var_ident.ntcc                                 01-Jan-1970 00:00                  35
empty_par.ntcc                                     01-Jan-1970 00:00                  44
no_float_atom.ntcc                                 01-Jan-1970 00:00                  38
sum_double_or.ntcc                                 01-Jan-1970 00:00                  35
unknown_constraint_operand.ntcc                    01-Jan-1970 00:00                  35