test/unit · f3cb4d8ec40b0ea4e5dd4ce2b710b06a63c03c04 · fact-depend / cwe_checker

Adds clang as second compiler for test cases (#27) · 5ad922d2

* Added feature to compiler test cases with more than one compiler. Added clang as first examples. Fixed test cases to work with gcc

* Added acceptance tests for clang x64, adjusted Travis scripts (now
runs also unittests), install_cross_compilers installs also clang.

* Skips test for cwe415, which is broken on clang + Ubuntu 16.04

* Added feature to compiler test cases with more than one compiler. Added clang as first examples. Fixed test cases to work with gcc

* Added acceptance tests for clang x64, adjusted Travis scripts (now
runs also unittests), install_cross_compilers installs also clang.

* Skips test for cwe415, which is broken on clang + Ubuntu 16.04

* Added change to CHANGES.md

* Fixed test issue: test for json output was pre-compiler suffix.

authored 5 years ago

5ad922d2

Name	Last commit	Last update
..
analysis	Corrected dune linter warnings, linter warnings are now handled like errors. (#20)	6 years ago
checkers	Preparing v0.2 Release (#22)	6 years ago
utils	Corrected dune linter warnings, linter warnings are now handled like errors. (#20)	6 years ago
Makefile	Adds clang as second compiler for test cases (#27)	5 years ago
cwe_checker_unit_tests.ml	Cwe 560 (#21)	6 years ago
dune	Type inference (#14)	6 years ago