Paul Thomson

PCT algorithm bugs

1

I think there are some bugs in the PCT algorithm. I will send a pull request or more details later.

I thought this method being rather empty was a bug. But apparently, this may not matter because the CycleDetector gets recreated every iteration. However, we could still consider NOT doing...

Internal asserts in the runtime

1

It should be possible to assert things inside the P# runtime or inside a SchedulingStrategy. If these fail, this is not a bug in the program under test, but a...

@pdeligia and I have been discussing the default event handler. Is it an essential feature? I am not sure how to soundly reason about this as a visible operation. If...

Typed MachineIds

1

A simple approach. ``` csharp MachineId id = CreateMachine(); // No static checking. But the type of the machine is at least known to the coder and the IDE. //...

https://github.com/google/graphicsfuzz/blob/de47649bced75c1d4c0980d1033742a0f9d1de88/generator/src/main/java/com/graphicsfuzz/generator/transformation/DonateCodeTransformation.java#L447

Transformation idea: extend trivial for loop range

13

E.g. ```glsl for (int i = 0; i < 3; ++i) { ... } ``` -> ```glsl for (int i = 0; i < 100; ++i) { if (i >=...

Transformation enhancement: use single-iteration loop "i" variable

6

Use "i" in fuzzed expressions.