Compare commits
2 Commits
67a61513b8
...
7fb408b466
Author | SHA1 | Date | |
---|---|---|---|
7fb408b466 | |||
6d265acfc7 |
@@ -45,7 +45,7 @@ RUN curl -Ls https://sourceware.org/pub/valgrind/valgrind-3.22.0.tar.bz2 -o valg
|
||||
# Recent clang
|
||||
RUN wget https://apt.llvm.org/llvm.sh && chmod +x ./llvm.sh && ./llvm.sh 20
|
||||
|
||||
RUN apt-get install clang
|
||||
RUN apt-get -y install clang llvm
|
||||
|
||||
# Set after building valgrind, which doesn't build with clang for some reason
|
||||
ENV CC=clang
|
||||
|
@@ -164,12 +164,6 @@ def test_fixup_256():
|
||||
cs.check(read(0, bytes([1]), bytes([2])))
|
||||
|
||||
|
||||
def test_tailcall():
|
||||
with DebugConflictSet() as cs:
|
||||
cs.addWrites(0, write(bytes([1])))
|
||||
cs.check(*[read(0, bytes([1])) for _ in range(100000)])
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
# budget "pytest" for ctest integration without pulling in a dependency. You can of course still use pytest in local development.
|
||||
import argparse
|
||||
|
Reference in New Issue
Block a user