[tests] Add tests for the \plugin:: syntax for import
Showing
- tests/spec/Extend_conflict.i 0 additions, 10 deletionstests/spec/Extend_conflict.i
- tests/spec/Extend_errors.c 40 additions, 0 deletionstests/spec/Extend_errors.c
- tests/spec/Extend_errors.ml 51 additions, 0 deletionstests/spec/Extend_errors.ml
- tests/spec/Extend_kernel.i 0 additions, 13 deletionstests/spec/Extend_kernel.i
- tests/spec/Extend_plugin.ml 0 additions, 22 deletionstests/spec/Extend_plugin.ml
- tests/spec/Extend_recursive_preprocess.ml 6 additions, 6 deletionstests/spec/Extend_recursive_preprocess.ml
- tests/spec/Extend_type_token.i 0 additions, 10 deletionstests/spec/Extend_type_token.i
- tests/spec/Extend_warning.i 0 additions, 12 deletionstests/spec/Extend_warning.i
- tests/spec/import.i 16 additions, 9 deletionstests/spec/import.i
- tests/spec/import_errors.c 46 additions, 0 deletionstests/spec/import_errors.c
- tests/spec/module.c 16 additions, 1 deletiontests/spec/module.c
- tests/spec/oracle/Extend_conflict.res.oracle 0 additions, 6 deletionstests/spec/oracle/Extend_conflict.res.oracle
- tests/spec/oracle/Extend_errors.0.res.oracle 43 additions, 0 deletionstests/spec/oracle/Extend_errors.0.res.oracle
- tests/spec/oracle/Extend_errors.1.res.oracle 11 additions, 0 deletionstests/spec/oracle/Extend_errors.1.res.oracle
- tests/spec/oracle/Extend_errors.2.res.oracle 13 additions, 0 deletionstests/spec/oracle/Extend_errors.2.res.oracle
- tests/spec/oracle/Extend_errors.3.res.oracle 8 additions, 0 deletionstests/spec/oracle/Extend_errors.3.res.oracle
- tests/spec/oracle/Extend_errors.4.res.oracle 6 additions, 0 deletionstests/spec/oracle/Extend_errors.4.res.oracle
- tests/spec/oracle/Extend_kernel.res.oracle 0 additions, 4 deletionstests/spec/oracle/Extend_kernel.res.oracle
- tests/spec/oracle/Extend_type_token.res.oracle 0 additions, 6 deletionstests/spec/oracle/Extend_type_token.res.oracle
- tests/spec/oracle/Extend_warning.res.oracle 0 additions, 15 deletionstests/spec/oracle/Extend_warning.res.oracle
Loading
Please register or sign in to comment