Commit 0f6023ff authored by Jan Kiene's avatar Jan Kiene
Browse files

fix reduction of testcase in LTV test

parent 8345f5f0