DF-4459 / run.sh
#!/bin/sh # DF-4459 run (see VERDICT.md for preconditions) cd "$(dirname "$0")" sh run.sh sys/dev/drm/drm_gem.c (static proof of the asymmetry) |
#!/bin/sh # DF-4459 run (see VERDICT.md for preconditions) cd "$(dirname "$0")" sh run.sh sys/dev/drm/drm_gem.c (static proof of the asymmetry) |