use markdown table format

carolynzech · carolynzech · commit 7e11776a261a · 2024-11-19T11:53:06.000-05:00
diff --git a/scripts/run-kani.sh b/scripts/run-kani.sh
@@ -205,7 +205,7 @@ main() {
             --cbmc-args --object-bits 12
     elif [[ "$run_command" == "list" ]]; then
         echo "Running Kani list command..."
-        "$kani_path" list -Z list -Z function-contracts -Z mem-predicates ./library --std > $path/kani_list.txt
+        "$kani_path" list -Z list -Z function-contracts -Z mem-predicates ./library --std --format markdown > $path/kani_list.txt
     fi
 }
 

Original file line number	Diff line number	Diff line change
`@@ -205,7 +205,7 @@ main() {`
`205`	`205`	`--cbmc-args --object-bits 12`
`206`	`206`	`elif [[ "$run_command" == "list" ]]; then`
`207`	`207`	`echo "Running Kani list command..."`
`208`		`- "$kani_path" list -Z list -Z function-contracts -Z mem-predicates ./library --std > $path/kani_list.txt`
	`208`	`+ "$kani_path" list -Z list -Z function-contracts -Z mem-predicates ./library --std --format markdown > $path/kani_list.txt`
`209`	`209`	`fi`
`210`	`210`	`}`
`211`	`211`