From 97ed35b41b5972d11e1b0b112f4972d7af10527f Mon Sep 17 00:00:00 2001 From: Norbert Manthey Date: Mon, 22 Jan 2024 10:50:09 +0100 Subject: [PATCH] workflow,xen: show properties Signed-off-by: Norbert Manthey --- .github/workflows/build-and-test-Xen.yaml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/build-and-test-Xen.yaml b/.github/workflows/build-and-test-Xen.yaml index 66779668fccd..19776c81987d 100644 --- a/.github/workflows/build-and-test-Xen.yaml +++ b/.github/workflows/build-and-test-Xen.yaml @@ -61,3 +61,9 @@ jobs: - name: Check for goto-cc section in xen-syms binary run: objdump -h xen_4_13/xen/xen-syms | grep "goto-cc" + + - name: Show goto-cc properties + run: $(pwd)/src/cbmc --show-properties xen_4_13/xen/xen-syms + + - name: Show some goto-cc functions + run: $(pwd)/src/cbmc --list-goto-functions xen_4_13/xen/xen-syms | grep "arch"