Commits · 7cfd7e3ff47b5f9939c88e062f20d8ecc6996801 · pub / frama-c · GitLab

Snippets Groups Projects

May 12, 2021
- [tests] using PLUGIN directive and -no-autoload-plugins · 826fb198
  Patrick Baudin authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  826fb198
Apr 09, 2021
- [tests] fix sed FILTER · 4bbe63c4
  Andre Maroneze authored 4 years ago
  
  4bbe63c4
Feb 08, 2021
- [tests] add non-regression test for macro with % in cpp extra args · 9170a765
  Andre Maroneze authored 4 years ago
  
  also avoid accidental `*/` in FILTER command
  9170a765
Dec 21, 2020
- [eva] Keep Eva's tests on x86_32 machdep · 5d7c93f4
  Basile Desloges authored 4 years ago and Andre Maroneze committed 4 years ago
  
  5d7c93f4
Nov 23, 2020
- [tests] avoid architecture-dependent diffs in test oracles · ae67afb6
  Andre Maroneze authored 4 years ago
  
  ae67afb6
Oct 28, 2020
- [Tests] avoid diff in macOS due to missing newline in shell printf · 76f42508
  Andre Maroneze authored 4 years ago
  
  76f42508
- [Tests] avoid oracle diffs with non-default TMPDIRs (namely macOS) · 8429888d
  Andre Maroneze authored 4 years ago
  
  8429888d
Sep 08, 2020
- [Kernel] add test for -print-cpp-commands · 51f3cfcb
  Andre Maroneze authored 4 years ago
  
  51f3cfcb
May 09, 2020
- [Nix] Fix filtering of a tests for different temporary directory · 93de82f6
  François Bobot authored 4 years ago
  
  93de82f6
Apr 01, 2020
- [tests] fix cpp-command FILTER for macos · 260cbf3d
  Loïc Correnson authored 5 years ago
  
  260cbf3d
Jan 06, 2020
- [tests] update cpp-command test · d2f574d3
  Virgile Prevosto authored 5 years ago
  
  d2f574d3
Jul 23, 2019
- [kernel] fix cpp-command \% test · 33ae308f
  Valentin Perrelle authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  33ae308f
- [Kernel] Remove non-deterministic results from cpp-command test · d624335a
  Valentin Perrelle authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  d624335a
- [Kernel] add test for -cpp-command · 5bc960b2
  Valentin Perrelle authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  5bc960b2