Repository navigation

Bot test: Global variable comparison - #17

Open

PLukas2018 wants to merge 4 commits into

PLukas2018:masterfrom

davidkre525:global-variable-comparison

Open

Bot test: Global variable comparison#17
PLukas2018 wants to merge 4 commits into
PLukas2018:masterfrom
davidkre525:global-variable-comparison

Commits on Jun 22, 2026
- Fix system z3 being prioritized over local
  
  Bal0sk
  authored and
  viktormalik
  committed
  5a66ea5
Commits on Jun 29, 2026
- Add comparison of global variables
  davidkre525
  committed
  65a7bce
- Adjust result viewer for new result format
  davidkre525
  committed
  b76c7db
- Add tests for the result viewer
  davidkre525
  committed
  a5aa151