Commits · f1e1bd3658af757a28470340295ffe9d037382bd · LARA / inox · GitLab

Snippets Groups Projects

May 01, 2016
- Moved InputCoverageSuite over to smt-z3 · f1e1bd36
  Nicolas Voirol authored 8 years ago
  
  f1e1bd36
- Added support to cover and, or. · 8a87948a
  Mikaël Mayer authored 8 years ago
  
  MatchExpr considered as IfExpr.
  8a87948a
- test simple definition transformations · 4130daef
  Regis Blanc authored 9 years ago
  
  4130daef
- Cleaned up input coverage which now fully works. · 1e0783f1
  Mikaël Mayer authored 9 years ago
  
  Evaluating counter-examples again to faster cover other flags.
  1e0783f1
- Code coverage now returns the list of covering examples. · 6b4ff0ae
  Mikaël Mayer authored 9 years ago
  
  6b4ff0ae
- Added MatchExpr coverage test. · 57935b5e
  Mikaël Mayer authored 9 years ago
  
  Replaced Seq[Identifier] with Option[Seq[Identifier]] to take into account transformed expressions without new identifiers.
  57935b5e
- Added coverage test suite. · 493c03ac
  Mikaël Mayer authored 9 years ago
  
  493c03ac