[machdep] fixes various discrepancies and update tests
Showing
- share/libc/limits.h 1 addition, 3 deletionsshare/libc/limits.h
- share/machdeps/machdep-schema.yaml 6 additions, 0 deletionsshare/machdeps/machdep-schema.yaml
- share/machdeps/machdep_avr_16.yaml 1 addition, 0 deletionsshare/machdeps/machdep_avr_16.yaml
- share/machdeps/machdep_gcc_x86_16.yaml 1 addition, 0 deletionsshare/machdeps/machdep_gcc_x86_16.yaml
- share/machdeps/machdep_gcc_x86_32.yaml 1 addition, 0 deletionsshare/machdeps/machdep_gcc_x86_32.yaml
- share/machdeps/machdep_gcc_x86_64.yaml 1 addition, 0 deletionsshare/machdeps/machdep_gcc_x86_64.yaml
- share/machdeps/machdep_msvc_x86_64.yaml 31 additions, 1 deletionshare/machdeps/machdep_msvc_x86_64.yaml
- share/machdeps/machdep_ppc_32.yaml 1 addition, 0 deletionsshare/machdeps/machdep_ppc_32.yaml
- share/machdeps/machdep_x86_16.yaml 1 addition, 0 deletionsshare/machdeps/machdep_x86_16.yaml
- share/machdeps/machdep_x86_32.yaml 1 addition, 0 deletionsshare/machdeps/machdep_x86_32.yaml
- share/machdeps/machdep_x86_64.yaml 1 addition, 0 deletionsshare/machdeps/machdep_x86_64.yaml
- share/machdeps/make_machdep/make_machdep.py 1 addition, 0 deletionsshare/machdeps/make_machdep/make_machdep.py
- src/kernel_internals/runtime/machdep.ml 4 additions, 1 deletionsrc/kernel_internals/runtime/machdep.ml
- src/kernel_services/ast_data/cil_types.ml 1 addition, 0 deletionssrc/kernel_services/ast_data/cil_types.ml
- src/kernel_services/ast_queries/cil_datatype.ml 1 addition, 0 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- src/kernel_services/ast_queries/file.ml 1 addition, 0 deletionssrc/kernel_services/ast_queries/file.ml
- src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif 4 additions, 4 deletions...ugins/markdown-report/tests/sarif/oracle/std_string.sarif
- src/plugins/variadic/tests/erroneous/oracle/exec.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/erroneous/oracle/exec.res.oracle
- src/plugins/variadic/tests/known/oracle/exec.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/known/oracle/exec.res.oracle
- src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle 3 additions, 3 deletions...dic/tests/known/oracle/exec_failed_requirement.res.oracle
Loading
Please register or sign in to comment