vast icon indicating copy to clipboard operation
vast copied to clipboard
verified publisher icon trailofbits

Re-enable LLVM IR target for SV-Comp benchmarks in CI

Open Jezurko opened this issue 1 year ago • 0 comments

Prerequisites

  • [X] I have read the documentation and the proposed feature is not implemented.

Description

Currently the LLVM IR target is disabled because of time constraints (github CI runner is limited to 6 hours). We should investigate what causes such a significant slowdown (HighLevel dialect target runs in 1h 20min ~) and fix it. In case this is not possible we should split the benchmarks so that we can complete the evaluation.

Jezurko avatar Apr 23 '24 09:04 Jezurko