Viewing profile — bhoessen

Hi all, For those of you who uses dedicated machines for testing (e.g. jenkins workers, gitlab runners), what is your hardware capacity? How much load are they going through? We ar…

Because we don't have the same costs as in the US (university, healthcare, housing, ...). For instance, the cost to attend courses in a good university in Belgium is at most 835 eu…

The scenarios can be the following: timestamp are problem as soon as a drive is mapped from two different os without synced clock (happened to me with a virtualbox share). Taking c…

What about performances versus minisat/glucose/lingeling/... Do you plan to parallelize it? If so, using which technique