search

mchalupa / dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MIT License
474 stars 131 forks source link

Refactor slicing test runner and get rid of UB in tests #413

Closed lzaoral closed 2 years ago

lzaoral commented 2 years ago

Some small fixes and improvements that I've additionally made during #412 but are independent of it.

lzaoral commented 2 years ago

Blocks #412

lzaoral commented 2 years ago

@mchalupa This ended up being a rather big PR but it should have a significant impact (among other things) on the reproducibility of the tests. Thanks in advance!

lzaoral commented 2 years ago

@mchalupa I've incorporated your suggestions and additionally relaxed the input conditions of bitcast tests.

mchalupa commented 2 years ago

Very well, let's merge this then. Thanks a lot!