Remove Vulkan Liveness tests (covered by Fair Liveness test)

hernanponcedeleon · Sep 14, 2024 · d1750a0 · d1750a0
1 parent 6bf8fa7
commit d1750a0
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 111 deletions.
diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusVulkanLivenessTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusVulkanLivenessTest.java
diff --git a/dartagnan/src/test/resources/VULKAN-Liveness-expected.csv b/dartagnan/src/test/resources/VULKAN-Liveness-expected.csv