Quoc-Sang Phan
Results
2
issues of
Quoc-Sang Phan
There is an error when compiling Omega on Mac due to the default argument on the function: `friend Conjunct* merge_conjs((Conjunct* conj1, Conjunct* conj2, Merge_Action action, Rel_Body *body = 0);` More...
As described in the title, driller fails to generate the new inputs for the following toy program (please remove `.txt` from all files, `hello.txt` is the binary). If you compile...