pict
pict copied to clipboard
microsoft
Pairwise Independent Combinatorial Tool
There something I don't understand in the README. It's under "Excluding other parameters" - the idea of "using up" combinations. eg.: 1. `In these cases we do not want to...
Hi, I am trying to run PICT CLI with the attached file but it doesn't complete even after 24 hrs. is there any limitation for attributes and constraints? [input.txt](https://github.com/microsoft/pict/files/11502316/input.txt)
When using PICT dynamic library to generate one test case, there is no error. However, when executing multiple times consecutively, the following error occurs: #C [libpict.dylib+0x11bd0] std::__1::enable_if::type std::__1::vector::insert(std::__1::__wrap_iter, unsigned int*,...
This PR fix the result stacking issues when PictGenerate is called several times on the same (task/model) couple.
**_Note:_** I developed a fix for this issue and would like to request to push it. **Bug description** When called `n` times while expecting `i` rows of results, the `PictGenerate`...
Consider the following test case that use 3 parameters of two values each: > This test uses three parameters with two values each: > > AValues: A0, B1 > BValues:...
`-v` is not a CTest argument as far as I'm aware, `-V` is used for verbose output.
vi test.txt mode: test zoom: zoom1,zoom2,zoom3,zoom4 IF [water] IN {"water1", "water2"} THEN [water_a] = "NA" ELSE [water_m] "NAm"; IF [action] = "action1" OR [action] = "action2" THEN [high_i] = "NAi"...
