Remove redundant cbmc-proof.txt files following PR#794

Signed-off-by: Rod Chapman <rodchap@amazon.com>
pq-code-package · Feb 21, 2025 · ab9d70f · ab9d70f
1 parent 387f6fd
commit ab9d70f
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 21 deletions.
diff --git a/proofs/cbmc/invntt_layer321/cbmc-proof.txt b/proofs/cbmc/invntt_layer321/cbmc-proof.txt
diff --git a/proofs/cbmc/invntt_layer54_butterfly/cbmc-proof.txt b/proofs/cbmc/invntt_layer54_butterfly/cbmc-proof.txt
diff --git a/proofs/cbmc/invntt_layer6/cbmc-proof.txt b/proofs/cbmc/invntt_layer6/cbmc-proof.txt
diff --git a/proofs/cbmc/ntt_layer123/cbmc-proof.txt b/proofs/cbmc/ntt_layer123/cbmc-proof.txt
diff --git a/proofs/cbmc/ntt_layer45/cbmc-proof.txt b/proofs/cbmc/ntt_layer45/cbmc-proof.txt
diff --git a/proofs/cbmc/ntt_layer6/cbmc-proof.txt b/proofs/cbmc/ntt_layer6/cbmc-proof.txt
diff --git a/proofs/cbmc/ntt_layer7/cbmc-proof.txt b/proofs/cbmc/ntt_layer7/cbmc-proof.txt