Code

Proton tool info module proton.py#952

Code

Merged

PhilippWendler merged 9 commits intososy-lab:mainsosy-lab/benchexec:mainfrom rmetta:mainrmetta/benchexec:mainCopy head branch name to clipboardNov 3, 2023

+68

Commits

Commits on Nov 2, 2023

• Proton tool info module proton.py

  Show description for 1923695
  rmetta

  authored
  1923695

  Copy full SHA for 1923695

• Corrected the tool info for proton

  rmetta

  authored
  2b45b89

  Copy full SHA for 2b45b89

• Proton tool info module, Philipp Wendler comments

  Show description for c88b3ee
  rmetta

  authored
  c88b3ee

  Copy full SHA for c88b3ee

• Updated with URL and removed the confusing comment

  Show description for cfd1f0b
  rmetta

  authored
  cfd1f0b

  Copy full SHA for cfd1f0b

• Merge branch 'sosy-lab:main' into main

  rmetta

  authored
  bede804

  Copy full SHA for bede804

• Corrected the error codes

  Show description for bacb3d3
  rmetta

  authored
  bacb3d3

  Copy full SHA for bacb3d3

• Fixed inconsistent usage of result_str and output

  Show description for bb769a8
  rmetta

  authored
  bb769a8

  Copy full SHA for bb769a8

• Replaced error codes with relvant error strings

  rmetta

  authored
  208bdd6

  Copy full SHA for 208bdd6

Commits on Nov 3, 2023

• Merge branch 'sosy-lab:main' into main

  rmetta

  authored
  349328c

  Copy full SHA for 349328c