Commit 97d6a5c

committed

Adapt test-issue3764-vacuous-branch and test-3934-smt

Update krb test output

1 parent 85c3a4f commit 97d6a5cCopy full SHA for 97d6a5c

5 files changed

+53269

-240

lines changed

booster/test/rpc-integration
- test-3934-smt
  - response-008.json
- test-issue3764-vacuous-branch
scripts
- booster-integration-tests.sh

5 files changed

+53269

-240

lines changed

Comments

(0)