https://github.com/martinboehme closed
https://github.com/llvm/llvm-project/pull/91455
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
martinboehme wrote:
CI failure looks unrelated.
https://github.com/llvm/llvm-project/pull/91455
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/ymand approved this pull request.
https://github.com/llvm/llvm-project/pull/91455
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/martinboehme updated
https://github.com/llvm/llvm-project/pull/91455
>From 84a60b093952ee397b33ddbac21febae6258a006 Mon Sep 17 00:00:00 2001
From: Martin Braenne
Date: Wed, 8 May 2024 10:29:06 +
Subject: [PATCH 1/2] [clang][dataflow] Make `SolverTest` a type-parameterized
llvmbot wrote:
@llvm/pr-subscribers-clang
Author: None (martinboehme)
Changes
This allows the tests to be run against any implementation of `Solver` instead
of begin specific to `WatchedLiteralsSolver` as they currently are.
---
Full diff: https://github.com/llvm/llvm-project/pull/91455.
https://github.com/martinboehme created
https://github.com/llvm/llvm-project/pull/91455
This allows the tests to be run against any implementation of `Solver` instead
of begin specific to `WatchedLiteralsSolver` as they currently are.
>From 84a60b093952ee397b33ddbac21febae6258a006 Mon Sep 17 0
