diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2019-08-29 19:38:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-29 19:38:17 -0700 |
| commit | 974fc1d23c2b6091c26cf316964c4c16c5e2733f (patch) | |
| tree | b8e4b597ffc46194ee37687a56248309a63235b1 /cmake/FindCxxTest.cmake | |
| parent | cc7546ff0a4e418de9a21c03ef12b1d5e8801bb8 (diff) | |
Infer conflicts based on regular expression inclusion (#3234)
We have a conflict if we have `str.in.re(x, R1)` and `~str.in.re(x, R2)`
and `R2` includes `R1` because there is no possible value for `x` that
satisfies both memberships. This commit adds code to detect regular
expression inclusion for a small fragment of regular expressions: string
literals with single char (`re.allchar`) and multichar wildcards
(`re.*(re.allchar)`).
Signed-off-by: Andres Noetzli <anoetzli@amazon.com>
Diffstat (limited to 'cmake/FindCxxTest.cmake')
| -rw-r--r-- | cmake/FindCxxTest.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/FindCxxTest.cmake b/cmake/FindCxxTest.cmake index cd7aed70d..19fd7f881 100644 --- a/cmake/FindCxxTest.cmake +++ b/cmake/FindCxxTest.cmake @@ -26,7 +26,7 @@ endif() if(PYTHONINTERP_FOUND AND CxxTest_PYTHON_TESTGEN_EXECUTABLE) set(CxxTest_TESTGEN_EXECUTABLE ${CxxTest_PYTHON_TESTGEN_EXECUTABLE}) - set(CxxTest_TESTGEN_INTERPRETER ${PYTHON_EXECUTABLE}) + # set(CxxTest_TESTGEN_INTERPRETER ${PYTHON_EXECUTABLE}) elseif(PERL_FOUND AND CxxTest_PERL_TESTGEN_EXECUTABLE) set(CxxTest_TESTGEN_EXECUTABLE ${CxxTest_PERL_TESTGEN_EXECUTABLE}) set(CxxTest_TESTGEN_INTERPRETER ${PERL_EXECUTABLE}) |