Commits · b46fc091160f1847d20050d4d9217c85fdedf117 · pub / frama-c

Jul 08, 2022
- [e-acsl] disable non-deterministic tests on segments · b46fc091
  Allan Blanchard authored 2 years ago
  
  - depending on system+executions, VDSO and TLS may overlap
  b46fc091
Apr 07, 2022
- [e-acsl] first review · 2004fbc1
  Thibaut Benjamin authored 3 years ago
  
  2004fbc1
- [eacsl] increase tls size to always include standard streams · 306c98f8
  Thibaut Benjamin authored 3 years ago
  
  306c98f8
Mar 08, 2022
- [E-ACSL] remove SEDCMD and .in test configs · 0409d798
  Andre Maroneze authored 3 years ago
  
  0409d798
Feb 16, 2022
- [eacsl] Update tests · 699bedc7
  Basile Desloges authored 3 years ago
  
  699bedc7
Jan 28, 2022
- [eacsl] Add concurrency tests · f3e22890
  Basile Desloges authored 3 years ago
  
  f3e22890