Code

Fix macos ci#201

Code

Merged

misonijnik merged 4 commits intomainUnitTestBot/klee:mainfrom misonijnik/fix-macos-ciUnitTestBot/klee:misonijnik/fix-macos-ciCopy head branch name to clipboardOct 24, 2024

+21-16

Commits

Commits on Oct 23, 2024

• Use a virtual environment for Python3 while testing under MacOS

  Show description for db17e10
  

  MartinNowack

  authored and

  misonijnik

  committed
  db17e10

• Fix bug in PATH cleaning, more robust installation detection

  Show description for 2541da0
  

  MartinNowack

  authored and

  misonijnik

  committed
  2541da0

• Mark variadic argument tests as requiring x86_64

  misonijnik

  committed
  97b63c4

• Update VarArgByValOld.c

  misonijnik

  authored
  1d388fc