1. 09 Dec, 2019 2 commits
    • Martin Spiessl's avatar
      Merge branch 'bugfixes' into 'master' · 36636e2e
      Martin Spiessl authored
      See merge request !1
    • Martin Spiessl's avatar
      Fix another minor bug with architecture handling. · e3e058aa
      Martin Spiessl authored
      When we use CPAchecker as verifier, CPAcheckers tool-info module
      would see the output of the transformer and interpret it as an
      "invalid-witness" status. This commit will remove the "Error:"
      in front of that log message such that the tool-info module of
      CPAchecker does not get fooled by it. This only affects 64bit
      tasks in ReachSafety, currently that are only the AWS tasks.
  2. 07 Dec, 2019 2 commits
  3. 05 Dec, 2019 2 commits
  4. 04 Dec, 2019 3 commits
    • Dirk Beyer's avatar
      Some rewording of the documentation text · 4dc4876f
      Dirk Beyer authored
    • Martin Spiessl's avatar
      Add workaround for missing architecture option · d424b37c
      Martin Spiessl authored
      For the transformation step, we actually do not need to care about the
      architecture. Nonetheless CPAchecker will complain if the witness has
      a different architecture than the one CPAchecker uses. Since there is
      currently no way for turning this check off in CPAchecker, we simply
      try again with -64 in case we failed because of that reason in the
      default configuration.
    • Martin Spiessl's avatar
      Make MetaVal more robust · 6ab73c23
      Martin Spiessl authored
      Previously, spaces in command-line options were a problem,
      as well as witnesses that specified 64 bit.
  5. 28 Nov, 2019 2 commits