-
F-WRunTime authored
Updating to fix most shellcheck findings. Kontrol commands do not run properly when the variable is quoted
4da3016b
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| pausability-lemmas.k | ||
| run-kontrol.sh |
Updating to fix most shellcheck findings. Kontrol commands do not run properly when the variable is quoted
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| pausability-lemmas.k | ||
| run-kontrol.sh |