Updated tests

opencompl · Oct 23, 2024 · edb64a3 · edb64a3
1 parent 32be146
commit edb64a3
Show file tree

Hide file tree

Showing 520 changed files with 31,324 additions and 8,955 deletions.
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2005h04h07hUDivSelectCrash.lean b/SSA/Projects/InstCombine/tests/LLVM/g2005h04h07hUDivSelectCrash.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hBools.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hBools.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2012h08h28hudiv_ashl.lean b/SSA/Projects/InstCombine/tests/LLVM/g2012h08h28hudiv_ashl.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/gadd2.lean b/SSA/Projects/InstCombine/tests/LLVM/gadd2.lean