tau

tau copied to clipboard

Make parameters and variables constant when they are not mutated

2

tomasz-lisowski

Filtering by exact name doesn't work

5

It's not possible to use entire test name (TESTSUITE.TESTNAME) to run a single test by mean of "--filter" option. Anyway if I remove just last char from the test name,...

GibbOne

docs: TEST blocks require that there is no return value

3

From a little toy project https://github.com/matu3ba/pbcd/blob/4ffd0dfe6006c5342302d4099c02d537facf4ffe/runTest.sh ```txt ^ test.c:28:3: error: void function '_TAU_TEST_FUNC_foo_bar1' should not return a value [-Wreturn-type] return status; ``` Alternatively (but probably more cumbersome): support custom return...

matu3ba

question: how can I test for arithmetic overflow

3

Is there even a simple way to macro overload arithmetic expressions to auto-insert overflow checks ie via SEI Standard https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?pageId=87152052 ? Alternatively documentation how to emit the instructions for testing...

matu3ba

design questions on minimizing dependencies

1

I am wondering, if #include #include are strictly necessary, as we only need a few of the functions and argument handling doesnt sound super complicated either. Can you add a...

matu3ba

defaults and changing them for compiler errors

8

I prefer developing in a CI and thus I think disabling warnings as in `TAU_DISABLE_DEBUG_WARNINGS` is very uncool. Aside, what warnings and errors are ignored should be the one of...

matu3ba

My working env is msys2 on Windows, and gcc is of version 12.1.0. When I compile the example code, an error occurs, which tells: ```shell tau/types:h:22:58: error: size of array...

chenyulue

I've never used tau before, but decided to give it a shot today. In order to get it to work, I'm just including it in a test file and compiling,...

ellisonch

catbro666

If we do tests in a loop, it seems we don't have an easy way to prompt which iteration failed

4

Do you have any advice for such user cases? ```c int input[] = {1, 2, 3, 4}; int output[] = {1, 2, 3, 4}; for (int i = 0; i...

catbro666