Skip to content

Commit

Permalink
Clean ptx/vulkan tests (#540)
Browse files Browse the repository at this point in the history
  • Loading branch information
@tonghaining
tonghaining authored Oct 25, 2023
1 parent 01287ad commit 8d0d628
Show file tree
Hide file tree
Showing 334 changed files with 1,621 additions and 136 deletions.
2 changes: 1 addition & 1 deletion dartagnan/src/test/java/com/dat3m/dartagnan/litmus/LitmusVulkanRacesTest.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ public class LitmusVulkanRacesTest extends AbstractLitmusTest {

@Parameterized.Parameters(name = "{index}: {0}, {1}")
public static Iterable<Object[]> data() throws IOException {
return buildLitmusTests("litmus/VULKAN/Data-Race/", "VULKAN", "-DR");
return buildLitmusTests("litmus/VULKAN/", "VULKAN", "-DR");
}

@Override
Expand Down
115 changes: 62 additions & 53 deletions dartagnan/src/test/resources/PTXv6_0-expected.csv
View file
Original file line number Diff line number Diff line change
@@ -1,67 +1,76 @@
litmus/PTX/Nvidia/Atom-SB-ld.litmus,1
litmus/PTX/Nvidia/Atom-SB.litmus,1
litmus/PTX/Nvidia/Atom-minus-location_.litmus,1
litmus/PTX/Nvidia/Atom-plus-location-weak_.litmus,1
litmus/PTX/Nvidia/Atom-plus-location_.litmus,1
litmus/PTX/Nvidia/Atom-plus-register.litmus,1
litmus/PTX/Nvidia/Cause-base-strong.litmus,1
litmus/PTX/Nvidia/Cause-base-weak.litmus,1
litmus/PTX/Nvidia/Co-Total-3-threads-scope-diff.litmus,1
litmus/PTX/Nvidia/Co-Total-3-threads-scope-same.litmus,1
litmus/PTX/Nvidia/Co-Total-4-threads.litmus,1
litmus/PTX/Nvidia/CoRR-acquire-weak.litmus,1
litmus/PTX/Nvidia/CoRR-relaxed-acquire-weak.litmus,1
litmus/PTX/Nvidia/CoRR-weak-acquire-weak.litmus,1
litmus/PTX/Nvidia/CoRR-weak-acquire.litmus,1
litmus/PTX/Nvidia/CoRR-weak-weak.litmus,1
litmus/PTX/Nvidia/CoRW-R.litmus,1
litmus/PTX/Nvidia/CoRW-WW.litmus,1
litmus/PTX/Nvidia/CoRW_.litmus,1
litmus/PTX/Nvidia/CoWR-R.litmus,1
litmus/PTX/Nvidia/CoWR_.litmus,1
litmus/PTX/Nvidia/CoWW-R.litmus,1
litmus/PTX/Nvidia/CoWW_.litmus,1
litmus/PTX/Nvidia/LB+NoThinAir-location_.litmus,1
litmus/PTX/Nvidia/LB+NoThinAir-register.litmus,1
litmus/PTX/Nvidia/MP-cta.litmus,1
litmus/PTX/Nvidia/MP-gpu.litmus,1
litmus/PTX/Nvidia/MP-relaxed.litmus,1
litmus/PTX/Nvidia/MP-sys.litmus,1
litmus/PTX/Nvidia/Red-minus-location_.litmus,1
litmus/PTX/Nvidia/Red-plus-location_.litmus,1
litmus/PTX/Nvidia/SB+acq_rel-cta.litmus,1
litmus/PTX/Nvidia/SB+bar-const-diff.litmus,0
litmus/PTX/Nvidia/SB+bar-const-equal.litmus,1
litmus/PTX/Nvidia/SB+bar-diff-cta.litmus,0
litmus/PTX/Nvidia/SB+bar-reg-const-diff.litmus,0
litmus/PTX/Nvidia/SB+bar-reg-const-equal.litmus,1
litmus/PTX/Nvidia/SB+bar-reg-diff.litmus,0
litmus/PTX/Nvidia/SB+bar-reg-equal.litmus,1
litmus/PTX/Nvidia/SB+sc-cta.litmus,1
litmus/PTX/Nvidia/SB+sc-cta-outScope.litmus,1
litmus/PTX/Nvidia/SB+sc-gpu.litmus,1
litmus/PTX/Nvidia/SB+sc-gpu-multiFence.litmus,1
litmus/PTX/Nvidia/SB+sc-gpu-multiFence-TotalOrder.litmus,1
litmus/PTX/Nvidia/SB+sc-sys.litmus,1
litmus/PTX/Nvidia/SB-weak.litmus,1
litmus/PTX/Nvidia/SB-cta.litmus,1
litmus/PTX/Manual/SB+bar-dyn-reg-const.litmus,0
litmus/PTX/Manual/SB+bar-sta-reg-const.litmus,1
litmus/PTX/Manual/Atom-minus-location_.litmus,1
litmus/PTX/Manual/Atom-plus-location-weak_.litmus,1
litmus/PTX/Manual/Atom-plus-location_.litmus,1
litmus/PTX/Manual/Atom-plus-register.litmus,1
litmus/PTX/Manual/Cause-base-strong.litmus,1
litmus/PTX/Manual/Cause-base-weak.litmus,1
litmus/PTX/Manual/Co-Total-3-threads-scope-same.litmus,1
litmus/PTX/Manual/Co-Total-4-threads.litmus,1
litmus/PTX/Manual/CoRR-acquire-weak.litmus,1
litmus/PTX/Manual/CoRR-relaxed-acquire-weak.litmus,1
litmus/PTX/Manual/CoRR-weak-acquire.litmus,1
litmus/PTX/Manual/CoRR-weak-acquire-weak.litmus,1
litmus/PTX/Manual/CoRR-weak-weak.litmus,1
litmus/PTX/Manual/CoRW-R.litmus,1
litmus/PTX/Manual/CoRW-WW.litmus,1
litmus/PTX/Manual/CoRW_.litmus,1
litmus/PTX/Manual/CoWR-R.litmus,1
litmus/PTX/Manual/CoWR_.litmus,1
litmus/PTX/Manual/CoWW-R.litmus,1
litmus/PTX/Manual/CoWW-RR.litmus,1
litmus/PTX/Manual/CoWW_.litmus,1
litmus/PTX/Manual/LB+NoThinAir-location_.litmus,1
litmus/PTX/Manual/LB+NoThinAir-register.litmus,1
litmus/PTX/Manual/MP-cta.litmus,1
litmus/PTX/Manual/MP-gpu.litmus,1
litmus/PTX/Manual/MP-relaxed.litmus,1
litmus/PTX/Manual/MP-sys.litmus,1
litmus/PTX/Manual/Proxy-Alias-AliasFence.litmus,1
litmus/PTX/Manual/Proxy-Const-ConstFence.litmus,1
litmus/PTX/Manual/Proxy-Const-MP-cause-different-cta.litmus,1
litmus/PTX/Manual/Proxy-Const-MP-cause1.litmus,1
litmus/PTX/Manual/Proxy-Const-MP-cause2.litmus,1
litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus,1
litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-genR.litmus,1
litmus/PTX/Manual/Red-minus-location_.litmus,1
litmus/PTX/Manual/Red-plus-location_.litmus,1
litmus/PTX/Nvidia/Release-acquire-pattern.litmus,0
litmus/PTX/Manual/SB+acq_rel-cta.litmus,1
litmus/PTX/Manual/SB+bar-const-diff.litmus,0
litmus/PTX/Manual/SB+bar-const-equal.litmus,1
litmus/PTX/Manual/SB+bar-diff-cta.litmus,0
litmus/PTX/Manual/SB+bar-reg-const-diff.litmus,0
litmus/PTX/Manual/SB+bar-reg-const-equal.litmus,1
litmus/PTX/Manual/SB+bar-reg-diff.litmus,0
litmus/PTX/Manual/SB+bar-reg-equal.litmus,1
litmus/PTX/Manual/SB+sc-cta.litmus,1
litmus/PTX/Manual/SB+sc-cta-outScope.litmus,1
litmus/PTX/Manual/SB+sc-gpu.litmus,1
litmus/PTX/Manual/SB+sc-gpu-multiFence.litmus,1
litmus/PTX/Manual/SB+sc-gpu-multiFence-TotalOrder.litmus,1
litmus/PTX/Manual/SB+sc-sys.litmus,1
litmus/PTX/Manual/SB-weak.litmus,1
litmus/PTX/Manual/Ticketlock-same-gpu.litmus,0
litmus/PTX/Manual/Ticketlock-diff-gpu.litmus,1
litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus,0
litmus/PTX/Manual/Ticketlock-acq2rlx-2.litmus,1
litmus/PTX/Manual/Ticketlock-rel2rlx.litmus,1
litmus/PTX/Manual/MP-dlb,0
litmus/PTX/Manual/MP-dlb-no-fence-1,1
litmus/PTX/Manual/MP-dlb-no-fence-2,1
litmus/PTX/Manual/LB-dlb,0
litmus/PTX/Manual/LB-dlb-no-fence-1,1
litmus/PTX/Manual/LB-dlb-no-fence-2,1
litmus/PTX/Nvidia/SB+bar-dyn-reg-const,0
litmus/PTX/Nvidia/SB+bar-sta-reg-const,1
litmus/PTX/Manual/CoWW-weak.litmus,1
litmus/PTX/Manual/MP-dlb.litmus,0
litmus/PTX/Manual/MP-dlb-no-fence-1.litmus,1
litmus/PTX/Manual/MP-dlb-no-fence-2.litmus,1
litmus/PTX/Manual/LB-dlb.litmus,0
litmus/PTX/Manual/LB-dlb-no-fence-1.litmus,1
litmus/PTX/Manual/LB-dlb-no-fence-2.litmus,1
litmus/PTX/Manual/XF-Barrier-relacq.litmus,0
litmus/PTX/Manual/XF-Barrier-rlx.litmus,1
litmus/PTX/Manual/XF-Barrier-weak.litmus,1
litmus/PTX/Manual/SL-cas-plus.litmus,0
litmus/PTX/Manual/SL-cas-minus.litmus,1
litmus/PTX/Manual/SL-future-plus.litmus,0
litmus/PTX/Manual/SL-future-minus.litmus,1
litmus/PTX/Manual/SL-future-minus.litmus,1
176 changes: 121 additions & 55 deletions dartagnan/src/test/resources/PTXv7_5-expected.csv
View file
Original file line number Diff line number Diff line change
@@ -1,37 +1,6 @@
litmus/PTX/Nvidia/Atom-SB-ld.litmus,1
litmus/PTX/Nvidia/Atom-SB.litmus,1
litmus/PTX/Nvidia/Atom-minus-location_.litmus,1
litmus/PTX/Nvidia/Atom-plus-location-weak_.litmus,1
litmus/PTX/Nvidia/Atom-plus-location_.litmus,1
litmus/PTX/Nvidia/Atom-plus-register.litmus,1
litmus/PTX/Nvidia/Cause-base-strong.litmus,1
litmus/PTX/Nvidia/Cause-base-weak.litmus,1
litmus/PTX/Nvidia/Co-Total-3-threads-scope-diff.litmus,1
litmus/PTX/Nvidia/Co-Total-3-threads-scope-same.litmus,1
litmus/PTX/Nvidia/Co-Total-4-threads.litmus,1
litmus/PTX/Nvidia/CoRR-acquire-weak.litmus,1
litmus/PTX/Nvidia/CoRR-relaxed-acquire-weak.litmus,1
litmus/PTX/Nvidia/CoRR-weak-acquire-weak.litmus,1
litmus/PTX/Nvidia/CoRR-weak-acquire.litmus,1
litmus/PTX/Nvidia/CoRR-weak-weak.litmus,1
litmus/PTX/Nvidia/CoRW-R.litmus,1
litmus/PTX/Nvidia/CoRW-WW.litmus,1
litmus/PTX/Nvidia/CoRW_.litmus,1
litmus/PTX/Nvidia/CoWR-R.litmus,1
litmus/PTX/Nvidia/CoWR_.litmus,1
litmus/PTX/Nvidia/CoWW-R.litmus,1
litmus/PTX/Nvidia/CoWW_.litmus,1
litmus/PTX/Nvidia/LB+NoThinAir-location_.litmus,1
litmus/PTX/Nvidia/LB+NoThinAir-register.litmus,1
litmus/PTX/Nvidia/MP-cta.litmus,1
litmus/PTX/Nvidia/MP-gpu.litmus,1
litmus/PTX/Nvidia/MP-relaxed.litmus,1
litmus/PTX/Nvidia/MP-sys.litmus,1
litmus/PTX/Nvidia/Proxy-Alias-AliasFence.litmus,1
litmus/PTX/Nvidia/Proxy-Const-ConstFence.litmus,1
litmus/PTX/Nvidia/Proxy-Const-MP-cause-different-cta.litmus,1
litmus/PTX/Nvidia/Proxy-Const-MP-cause1.litmus,1
litmus/PTX/Nvidia/Proxy-Const-MP-cause2.litmus,1
litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder.litmus,1
litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder1.litmus,1
litmus/PTX/Nvidia/Proxy-MP-Alias+diffProxy-aliasFence+proxyFence-correctOrder2.litmus,1
Expand Down Expand Up @@ -65,6 +34,70 @@ litmus/PTX/Nvidia/Proxy-MP-Alias+sameProxy-noFence1.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gen-sur-no-proxyFence.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gen-sur-surfaceFence1.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym1.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym2.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym3.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym4.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym5.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym6.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym7.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym8.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym9.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym10.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym11.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym12.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym13.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym14.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym15.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym16.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym17.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym18.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym19.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym20.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym21.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym22.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym23.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym24.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym25.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym26.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym27.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym28.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym29.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym30.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym31.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym32.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym33.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym34.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym35.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym36.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym37.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym38.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym39.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym40.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym41.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym42.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym43.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym44.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym45.litmus,1
litmus/PTX/Nvidia/Proxy-MP-cta-synonym46.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu1.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu2.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu3.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu4.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu5.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu6.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu7.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu8.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu9.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu10.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu11.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu12.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu13.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu14.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu15.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu16.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu17.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gpu18.litmus,1
litmus/PTX/Nvidia/Proxy-MP-gen.litmus,1
litmus/PTX/Nvidia/Proxy-MP-sur-gen-no-proxyFence.litmus,1
litmus/PTX/Nvidia/Proxy-MP-sur-gen-surfaceFence.litmus,1
Expand All @@ -79,36 +112,72 @@ litmus/PTX/Nvidia/Proxy-MP-sur-tex-surF-texF-correctOrder1.litmus,1
litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence.litmus,1
litmus/PTX/Nvidia/Proxy-MP-sur-tex-surfaceFence1.litmus,1
litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence.litmus,1
litmus/PTX/Nvidia/Proxy-MP-sur-tex-textureFence1.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-genR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surF-surR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-genW-surR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-genR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-genR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surF-texR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-surxF-texF-texR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-surF-texR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texF-texR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR-genR.litmus,1
litmus/PTX/Nvidia/Proxy-SingleThread-rf-surW-texR.litmus,1
litmus/PTX/Nvidia/Red-minus-location_.litmus,1
litmus/PTX/Nvidia/Red-plus-location_.litmus,1
litmus/PTX/Nvidia/SB+acq_rel-cta.litmus,1
litmus/PTX/Nvidia/SB+bar-const-diff.litmus,0
litmus/PTX/Nvidia/SB+bar-const-equal.litmus,1
litmus/PTX/Nvidia/SB+bar-diff-cta.litmus,0
litmus/PTX/Nvidia/SB+bar-reg-const-diff.litmus,0
litmus/PTX/Nvidia/SB+bar-reg-const-equal.litmus,1
litmus/PTX/Nvidia/SB+bar-reg-diff.litmus,0
litmus/PTX/Nvidia/SB+bar-reg-equal.litmus,1
litmus/PTX/Nvidia/SB+sc-cta.litmus,1
litmus/PTX/Nvidia/SB+sc-cta-outScope.litmus,1
litmus/PTX/Nvidia/SB+sc-gpu.litmus,1
litmus/PTX/Nvidia/SB+sc-gpu-multiFence.litmus,1
litmus/PTX/Nvidia/SB+sc-gpu-multiFence-TotalOrder.litmus,1
litmus/PTX/Nvidia/SB+sc-sys.litmus,1
litmus/PTX/Nvidia/SB-weak.litmus,1
litmus/PTX/Nvidia/Release-acquire-pattern.litmus,1
litmus/PTX/Nvidia/SB-cta.litmus,1
litmus/PTX/Manual/SB+bar-dyn-reg-const.litmus,0
litmus/PTX/Manual/SB+bar-sta-reg-const.litmus,1
litmus/PTX/Manual/Atom-minus-location_.litmus,1
litmus/PTX/Manual/Atom-plus-location-weak_.litmus,1
litmus/PTX/Manual/Atom-plus-location_.litmus,1
litmus/PTX/Manual/Atom-plus-register.litmus,1
litmus/PTX/Manual/Cause-base-strong.litmus,1
litmus/PTX/Manual/Cause-base-weak.litmus,1
litmus/PTX/Manual/Co-Total-3-threads-scope-same.litmus,1
litmus/PTX/Manual/Co-Total-4-threads.litmus,1
litmus/PTX/Manual/CoRR-acquire-weak.litmus,1
litmus/PTX/Manual/CoRR-relaxed-acquire-weak.litmus,1
litmus/PTX/Manual/CoRR-weak-acquire.litmus,1
litmus/PTX/Manual/CoRR-weak-acquire-weak.litmus,1
litmus/PTX/Manual/CoRR-weak-weak.litmus,1
litmus/PTX/Manual/CoRW-R.litmus,1
litmus/PTX/Manual/CoRW-WW.litmus,1
litmus/PTX/Manual/CoRW_.litmus,1
litmus/PTX/Manual/CoWR-R.litmus,1
litmus/PTX/Manual/CoWR_.litmus,1
litmus/PTX/Manual/CoWW-R.litmus,1
litmus/PTX/Manual/CoWW-RR.litmus,1
litmus/PTX/Manual/CoWW_.litmus,1
litmus/PTX/Manual/LB+NoThinAir-location_.litmus,1
litmus/PTX/Manual/LB+NoThinAir-register.litmus,1
litmus/PTX/Manual/MP-cta.litmus,1
litmus/PTX/Manual/MP-gpu.litmus,1
litmus/PTX/Manual/MP-relaxed.litmus,1
litmus/PTX/Manual/MP-sys.litmus,1
litmus/PTX/Manual/Proxy-Alias-AliasFence.litmus,1
litmus/PTX/Manual/Proxy-Const-ConstFence.litmus,1
litmus/PTX/Manual/Proxy-Const-MP-cause-different-cta.litmus,1
litmus/PTX/Manual/Proxy-Const-MP-cause1.litmus,1
litmus/PTX/Manual/Proxy-Const-MP-cause2.litmus,1
litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-conF-conR.litmus,1
litmus/PTX/Manual/Proxy-SingleThread-rf-surW-surF-genR.litmus,1
litmus/PTX/Manual/Red-minus-location_.litmus,1
litmus/PTX/Manual/Red-plus-location_.litmus,1
litmus/PTX/Manual/SB+acq_rel-cta.litmus,1
litmus/PTX/Manual/SB+bar-const-diff.litmus,0
litmus/PTX/Manual/SB+bar-const-equal.litmus,1
litmus/PTX/Manual/SB+bar-diff-cta.litmus,0
litmus/PTX/Manual/SB+bar-reg-const-diff.litmus,0
litmus/PTX/Manual/SB+bar-reg-const-equal.litmus,1
litmus/PTX/Manual/SB+bar-reg-diff.litmus,0
litmus/PTX/Manual/SB+bar-reg-equal.litmus,1
litmus/PTX/Manual/SB+sc-cta.litmus,1
litmus/PTX/Manual/SB+sc-cta-outScope.litmus,1
litmus/PTX/Manual/SB+sc-gpu.litmus,1
litmus/PTX/Manual/SB+sc-gpu-multiFence.litmus,1
litmus/PTX/Manual/SB+sc-gpu-multiFence-TotalOrder.litmus,1
litmus/PTX/Manual/SB+sc-sys.litmus,1
litmus/PTX/Manual/SB-weak.litmus,1
litmus/PTX/Manual/Ticketlock-same-gpu.litmus,0
litmus/PTX/Manual/Ticketlock-diff-gpu.litmus,1
litmus/PTX/Manual/Ticketlock-acq2rlx-1.litmus,0
Expand All @@ -124,9 +193,6 @@ litmus/PTX/Manual/SL-cas-plus.litmus,0
litmus/PTX/Manual/SL-cas-minus.litmus,1
litmus/PTX/Manual/SL-future-plus.litmus,0
litmus/PTX/Manual/SL-future-minus.litmus,1
litmus/PTX/Nvidia/SB+bar-dyn-reg-const.litmus,0
litmus/PTX/Nvidia/SB+bar-sta-reg-const.litmus,1
litmus/PTX/Manual/CoWW-weak.litmus,1
litmus/PTX/Manual/XF-Barrier-relacq.litmus,0
litmus/PTX/Manual/XF-Barrier-rlx.litmus,1
litmus/PTX/Manual/XF-Barrier-weak.litmus,1
litmus/PTX/Manual/XF-Barrier-weak.litmus,1
1 change: 1 addition & 0 deletions dartagnan/src/test/resources/VULKAN-CK-expected.csv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -103,6 +103,7 @@ litmus/VULKAN/Kronos-Group/releaseseq3.litmus,1
litmus/VULKAN/Kronos-Group/releaseseq4.litmus,1
litmus/VULKAN/Kronos-Group/samethread.litmus,1
litmus/VULKAN/Kronos-Group/samethread2.litmus,1
litmus/VULKAN/Kronos-Group/scnottransitive.litmus,1
litmus/VULKAN/Kronos-Group/scopeaccum.litmus,1
litmus/VULKAN/Kronos-Group/ssw0.litmus,1
litmus/VULKAN/Kronos-Group/ssw1.litmus,1
Expand Down
27 changes: 15 additions & 12 deletions dartagnan/src/test/resources/VULKAN-DR-expected.csv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -68,15 +68,18 @@ litmus/VULKAN/Data-Race/test6-filter.litmus,1
litmus/VULKAN/Data-Race/test7-filter.litmus,0
litmus/VULKAN/Data-Race/test9-filter.litmus,1
litmus/VULKAN/Data-Race/waw-filter.litmus,1
litmus/VULKAN/Manual/ticketlock-same-wg.litmus,0
litmus/VULKAN/Manual/ticketlock-diff-wg.litmus,1
litmus/VULKAN/Manual/ticketlock-acq2rlx-1.litmus,0
litmus/VULKAN/Manual/ticketlock-acq2rlx-2.litmus,1
litmus/VULKAN/Manual/ticketlock-rel2rlx.litmus,1
litmus/VULKAN/Manual/MP-mesa.litmus,0
litmus/VULKAN/Manual/MP-mesa-load-acq.litmus,0
litmus/VULKAN/Manual/MP-mesa-fence-loop.litmus,0
litmus/VULKAN/Manual/MP-mesa-optimized.litmus,0
litmus/VULKAN/Manual/XF-Barrier-relacq.litmus,0
litmus/VULKAN/Manual/XF-Barrier-rlx.litmus,1
litmus/VULKAN/Manual/XF-Barrier-weak.litmus,1
litmus/VULKAN/Manual/MP-avvis.litmus,0
litmus/VULKAN/Manual/MP-no-avvis.litmus,0
litmus/VULKAN/Manual/CoWW-RR.litmus,0
litmus/VULKAN/Manual/ticketlock-same-wg.litmus,1
litmus/VULKAN/Manual/ticketlock-diff-wg.litmus,0
litmus/VULKAN/Manual/ticketlock-acq2rlx-1.litmus,1
litmus/VULKAN/Manual/ticketlock-acq2rlx-2.litmus,0
litmus/VULKAN/Manual/ticketlock-rel2rlx.litmus,0
litmus/VULKAN/Manual/MP-mesa.litmus,1
litmus/VULKAN/Manual/MP-mesa-load-acq.litmus,1
litmus/VULKAN/Manual/MP-mesa-fence-loop.litmus,1
litmus/VULKAN/Manual/MP-mesa-optimized.litmus,1
litmus/VULKAN/Manual/XF-Barrier-relacq.litmus,1
litmus/VULKAN/Manual/XF-Barrier-rlx.litmus,0
litmus/VULKAN/Manual/XF-Barrier-weak.litmus,0
Loading

0 comments on commit 8d0d628

Please sign in to comment.