From 4693aa10db9ddb4a2b500e487c1cdb1927ad2a31 Mon Sep 17 00:00:00 2001 From: Luke Videckis Date: Mon, 5 Dec 2022 18:17:57 -0800 Subject: [PATCH] rerun tests with runtime checks --- .verify-helper/config.toml | 14 ++++++++++++++ .verify-helper/timestamps.remote.json | 13 ------------- 2 files changed, 14 insertions(+), 13 deletions(-) create mode 100644 .verify-helper/config.toml delete mode 100644 .verify-helper/timestamps.remote.json diff --git a/.verify-helper/config.toml b/.verify-helper/config.toml new file mode 100644 index 0000000..251e468 --- /dev/null +++ b/.verify-helper/config.toml @@ -0,0 +1,14 @@ +[[languages.cpp.environments]] +CXX = "g++" +CXXFLAGS = [ + "-O2", + "-fsanitize=address,undefined", + "-std=c++17", + "-D_GLIBCXX_DEBUG", + "-D_GLIBCXX_SANITIZE_VECTOR", + "-D_GLIBCXX_DEBUG_PEDANTIC", + "-D_GLIBCXX_ASSERTIONS", + "-fstack-protector", + "-D_FORTIFY_SOURCE=2", + "-g", +] diff --git a/.verify-helper/timestamps.remote.json b/.verify-helper/timestamps.remote.json deleted file mode 100644 index f9a18a8..0000000 --- a/.verify-helper/timestamps.remote.json +++ /dev/null @@ -1,13 +0,0 @@ -{ -"tests/data-structures/BIT.test.cpp": "2022-09-08 09:21:40 -0400", -"tests/data-structures/DSU.test.cpp": "2022-04-17 23:48:10 -0400", -"tests/data-structures/DSURestorable.test.cpp": "2022-04-17 23:48:10 -0400", -"tests/data-structures/RMQ.test.cpp": "2022-11-28 15:06:39 -0500", -"tests/data-structures/RMQLambda.test.cpp": "2022-11-28 15:06:39 -0500", -"tests/graphs/Blossom.test.cpp": "2022-11-28 15:06:39 -0500", -"tests/graphs/LCA.test.cpp": "2022-11-28 15:06:39 -0500", -"tests/graphs/TreeLiftingKth.test.cpp": "2022-11-28 15:06:39 -0500", -"tests/graphs/TreeLiftingLCA.test.cpp": "2022-11-28 15:06:39 -0500", -"tests/graphs/TwoVertexCCs.test.cpp": "2022-11-28 15:06:39 -0500", -"tests/number-theory/MultiplicativePrefix.test.cpp": "2022-11-28 15:06:39 -0500" -} \ No newline at end of file