Code

Resolve Boogie test deadlocks#932

Code

Merged

keyboardDrummer merged 20 commits intoboogie-org:masterboogie-org/boogie:masterfrom keyboardDrummer:setTimeoutkeyboardDrummer/boogie:setTimeoutCopy head branch name to clipboardAug 13, 2024

+128-219

Commits

Commits on Aug 8, 2024

• Configure a VC timeout for all tests

  keyboardDrummer

  committed
  5eed5f6

  Copy full SHA for 5eed5f6

• Fix concurrency issue in QuantifierInstantiationEngine

  keyboardDrummer

  committed
  c79011b

  Copy full SHA for c79011b

• Add a process limit timeout

  keyboardDrummer

  committed
  2870fb0

  Copy full SHA for 2870fb0

• Make trace output culture invariant

  keyboardDrummer

  committed
  735fee4

  Copy full SHA for 735fee4

• Fix Rlimitouts0.bpl

  keyboardDrummer

  committed
  830ac55

  Copy full SHA for 830ac55

• Fix tests

  keyboardDrummer

  committed
  9d5ef3d

  Copy full SHA for 9d5ef3d

• Merge remote-tracking branch 'origin/master' into setTimeout

  keyboardDrummer

  committed
  bb5a3a6

  Copy full SHA for bb5a3a6

• Fix indentation

  keyboardDrummer

  committed
  43ca15e

  Copy full SHA for 43ca15e

Commits on Aug 9, 2024

• Fix comp error

  keyboardDrummer

  committed
  f98fe32

  Copy full SHA for f98fe32

• Increase timeout of KeyboardClass test

  keyboardDrummer

  committed
  b57c1ed

  Copy full SHA for b57c1ed

• Add more cancellation

  keyboardDrummer

  committed
  2b662ef

  Copy full SHA for 2b662ef

• Interrupt threads when disposing custom stack scheduler

  keyboardDrummer

  committed
  1e9f7ce

  Copy full SHA for 1e9f7ce

• Add blame-hang-timeout to unit test

  keyboardDrummer

  committed
  972c9be

  Copy full SHA for 972c9be

• Fix

  keyboardDrummer

  committed
  3d84ae9

  Copy full SHA for 3d84ae9

• Refactoring

  keyboardDrummer

  committed
  3e9470b

  Copy full SHA for 3e9470b

• Fix warning

  keyboardDrummer

  committed
  2e8ca55

  Copy full SHA for 2e8ca55

• Removed output that causes tests to fail

  keyboardDrummer

  committed
  02b3561

  Copy full SHA for 02b3561

Commits on Aug 10, 2024

• Delete accident

  keyboardDrummer

  committed
  dabf0ef

  Copy full SHA for dabf0ef

• Add process time limit

  keyboardDrummer

  committed
  00ef399

  Copy full SHA for 00ef399

Commits on Aug 13, 2024

• Merge branch 'master' into setTimeout

  keyboardDrummer

  authored
  b2e200a

  Copy full SHA for b2e200a