gh: Fix logic for Linux kernel benchmark.

trailofbits / vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

https://trailofbits.github.io/vast/

Apache License 2.0

391 stars 23 forks source link

gh: Fix logic for Linux kernel benchmark. #680

Closed PappasBrent closed 2 months ago

PappasBrent commented 2 months ago

gh: Fix logic for disabling the unsupported dialect when running the Linux kernel benchmark.